RubenKraft
  • Joined on 2024-06-05
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-10-02 15:07:04 +00:00
6ee308a712 feat: add Constraints for Records in Parameterlist
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-10-02 13:02:58 +00:00
fbde5afb1b feat: changes on Grammar for literals in Records
RubenKraft closed issue JavaTX/JavaCompilerCore#347 2024-09-30 12:56:45 +00:00
Kovarianz funktioniert nicht wie gewollt.
RubenKraft commented on issue JavaTX/JavaCompilerCore#348 2024-09-26 12:18:45 +00:00
Überladung von case-Labels

Nur nochmal für mich zum Verständnis:

wenn ich also den Switch-Case

switch(a) {
    case R(Integer x) -> f(x);
    case R(Float x) -> f(x):
};

habe, soll "automatisch" die…

RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-20 16:03:01 +00:00
9ede47c2d6 feat: add Constraint for Default-Case
406f98e55d feat: add Constraint for Default-Case
Compare 2 commits »
RubenKraft commented on issue JavaTX/JavaCompilerCore#347 2024-09-20 15:55:39 +00:00
Kovarianz funktioniert nicht wie gewollt.

Alles klar, danke dir! Dann hab ich irgendwas verpeilt.

@dholle: Sobald der Default-Case dabei ist wird der Typ zu Object, oder? Andernfalls wird das ein bisschen kompliziert.

Momentan…

RubenKraft opened issue JavaTX/JavaCompilerCore#347 2024-09-18 12:11:58 +00:00
Kovarianz funktioniert nicht wie gewollt.
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-18 12:07:03 +00:00
929392b7d4 refactor: enhanced Constraint-Genereation
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-18 12:03:45 +00:00
f57c8aa5a9 feat: add Constraints
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-18 11:54:26 +00:00
daa38183fa feat: adding Covariance for Switch
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-04 09:03:27 +00:00
114de0b236 refactor + test: removed comments and fixed Test-Assertion
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-04 08:43:05 +00:00
8f094eb025 refactor: refactoring
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-09-02 17:16:13 +00:00
3ac3af2327 test: add Test for Switch-Case with generic Records.
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-08-20 17:53:11 +00:00
94c359f7a1 test & feat: recursive Method-Call for nested Constraint-Generation Patterns in Records and added Linked-List Testcase.
3be557a32b Merge branch 'targetBytecode' into patternMatching
9801f8a5ae Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2221/JavaTX/JavaCompilerCore into targetBytecode
f0b9bea23e Fix #343 (le null check)
ce4347dd96 Fix Y Test #341
Compare 5 commits »
RubenKraft opened issue JavaTX/JavaCompilerCore#345 2024-08-12 13:28:57 +00:00
permits von sealed Interfaces funktionieren nicht wie gewünscht.
RubenKraft opened issue JavaTX/JavaCompilerCore#344 2024-08-06 18:37:11 +00:00
Haskell-Style Pattern Matching in Records
RubenKraft closed issue JavaTX/JavaCompilerCore#339 2024-08-06 18:14:00 +00:00
Typlose Erstellung von Records
RubenKraft opened issue JavaTX/JavaCompilerCore#343 2024-08-06 18:09:38 +00:00
Records ohne Components kompiliert nicht.
RubenKraft pushed to patternMatching at JavaTX/JavaCompilerCore 2024-08-06 16:45:08 +00:00
96eb504174 test & fix: add Testcase for Heritage-detection and removed unnecessary creation of Constraints.
4f0162ba64 Merge branch 'targetBytecode' into patternMatching
6e1198ab3d test: reverted TestCodegen
7785c2d0aa Fix equals method of ClassOrInterface
a654f55deb Fix yTest
Compare 23 commits »
RubenKraft closed issue JavaTX/JavaCompilerCore#342 2024-08-05 13:47:06 +00:00
Records landen doppelt in den verfügbaren Klassen.