Ja, ich bin zu neuen Einsichten gekommen, melde mich später
Das Ergebis ist fast richtig: [(TPH ACG = GTV T), (TPH ACI = GTV T), (TPH AQ = Cons), (TPH BI = Empty), (TPH AU = Empty), (TPH AC = Cons), (TPH AFO, TPH AFJ),…
Zile wäre:
public class PatternMatchingListAppend {
public append(Cons(a, Cons b), Cons list2) {
return new Cons<>(a, append(b, list2));
}
public…Ich schlage folgende Änderungen vor
public append(Cons(a, b), list2) { return new Cons<>(a, append(b, list2)); }
In AbsSyn: TPH AQ append(Cons(TPH AR a, TPH AS b),…
Was meinst Du mit rausziehen. Mach mal ein Beispiel
Hallo Ruben,
hier scheint es noch ein grundsätzliches Problem zu geben vermutlich GTV und TPH. Das muss ich mir bzw. wir zusmmen genauer anschauen. Biite vormerken für den 6.12.
Viele…
edf609f916
Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching
Hallo Daniel, k önntest Du auch noch das Constraint-Set dazu posten. Dann kann man erkennen, ob es überhaupt einen Constraint für AR gibt.
Danke Martin
Das Beispiel müsste wahrscheinlich so aussehen '''java import java.lang.Integer; import java.lang.Double; import java.lang.Object;
public record R(Object o) {}
public class OverloadSwitc…
Wahrscheinlich musst Du so vorgehen, dass man zunächt die Typvariablen des Headres anschaut (Argumente und Return-Typ) und dieses mal aufteilt. Dann hat man die Überladungen. Wenn dann zwei…
Verstehe ich so leider nicht. Kannst Du bitte noch ein Beipiel dafür angeben.
Um einen Fall zu generieren bei den tatsächlih ein weiterer Cas-Fall erzeugt würde, müsste es so aussehen:
`import java.lang.Integer; import java.lang.Double; import java.lang.Object;
pu…
``import java.lang.Integer; import java.lang.Double; import java.lang.Object;
public record R(Object o) {}
public class OverloadSwitch {
f(Double d) { return d; }
f(Integer i)…