Daniel Holle dholle
  • Laboringenieur Informatik

  • Joined on 2023-11-10
dholle commented on issue JavaTX/JavaCompilerCore#355 2024-12-10 13:37:40 +00:00
Bridge-Methode für Pattern Matching in Funktionsköpfen

Die Gruppierung war falsch, Object & Object sind logischerweise auch gleich (In diesem Fall hat es nicht geklappt weil beides Generics waren).

1:
    append(Cons, Object)
    append(Empty…
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-12-09 15:53:37 +00:00
09c483542d Change grouping, doesnt work yet
dholle commented on issue JavaTX/JavaCompilerCore#355 2024-12-09 14:39:36 +00:00
Bridge-Methode für Pattern Matching in Funktionsköpfen

Ich habe mich jetzt mal dran gesetzt und ein weiteres Problem gefunden. Hier werden von der Typinferenz 6 Methoden generiert:

append(Cons, Object)
append(Cons, Empty)
append(Cons,…
dholle opened issue JavaTX/JavaCompilerCore#355 2024-12-06 10:28:28 +00:00
Bridge-Methode für Pattern Matching in Funktionsköpfen
dholle closed issue JavaTX/JavaCompilerCore#353 2024-12-06 09:59:06 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics
dholle commented on issue JavaTX/JavaCompilerCore#353 2024-12-05 10:24:09 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics

Was ich nicht ganz verstehe ist wieso List hier nirgendwo auftaucht, das sollte doch der allgemeinste Typ sein...

dholle commented on issue JavaTX/JavaCompilerCore#353 2024-12-04 12:59:50 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics

Das Problem waren die Generics und die genesteten Patterns, jetzt scheint es zu funktionieren:

    public <AU, ABQ, AEC extends ABQ> Cons<AEC> append(Cons<ABQ> var1, AU var2) 

   …
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-12-04 12:57:59 +00:00
77411973be Fix generics
dholle commented on issue JavaTX/JavaCompilerCore#353 2024-12-04 11:29:27 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics

Ich habe den Code nochmal angepasst, es liefert aber immernoch nicht das richtige Ergebnis. Jetzt werden zwei neue Constraints generiert:

(Cons<AT> =. Cons<ABQ>), (AR <. ABQ)

Müss…

dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-12-04 11:22:30 +00:00
d0d9c46a67 Work on constraints for parameters of generic records
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-11-27 11:58:00 +00:00
b9f9994de3 toString() doesn't return the class name, see #353
dholle commented on issue JavaTX/JavaCompilerCore#353 2024-11-26 12:00:13 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics

Ich glaube ich hatte damals gesagt man kann einfach den TPH aus der Klasse rausziehen, aber das funktioniert für GTVs so scheinbar nicht?

dholle commented on issue JavaTX/JavaCompilerCore#353 2024-11-25 10:23:28 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics

Hier ist der Rest vom output:

Unify nach Oder-Constraints-Anpassung:
UND:[(List<T> <. List<T>, )@6 in PatternMatchingListAppend.jav, (java.lang.Record =. java.lang.Record, ), (T <. T, )@6…
dholle opened issue JavaTX/JavaCompilerCore#353 2024-11-21 14:48:49 +00:00
Fehlende Constraints beim Pattern-Matching mit Generics
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-11-21 13:31:23 +00:00
46b378e3a5 Fix value matching and add new test case
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-11-20 16:22:11 +00:00
484a70c15c Fix test case
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-11-20 16:03:41 +00:00
c461e89336 Try to use 22 for test, might fail
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-11-20 13:44:15 +00:00
f846142ee1 Add broken value matching
dholle pushed to patternMatching at JavaTX/JavaCompilerCore 2024-11-20 12:17:16 +00:00
443b8b0c09 Test nested record matching, thankfully switch does the heavy lifting, fixes #349