Hier müssten wohl zwei Methoden erzeugt werden. Wir müssen unsere Überlegungen von letzter Woche ergänzen. Nicht nur die input-Variable AH, sondern auch die output-Variable AR muss in allen…
Kannst mal das ResultSet und dei Abstrakte Syntax mit Typisierung hier posten
Ich halte es nicht für sinnvoll die Typen von Record-Argumenten errechnen zu lassen. Durch die Record-Deklarationen werden die Datenelemente definiert. Dabei muss definiert werden, welches Datum…
Hallo Julian, ich habe mir das eben von Daniel erklären lassen. Leider kann ich nicht ganz nachvollziehen welchen Vorteil Du in den Bridgemethoden siehst. Letzlich passiert doch genau das…
Man muss während der Umwandlung vom AST -> TargetAST die TPHs der jeweiligen Methdenaufrufe finden. Der Methodenaufruf wird nur für den speziellsten Fall generiert Es werden Überladungen nur…
Man muss in jedes Interface FunN$$Typ$_$...$_$
alle Superinferfaces eintragen
Da in JavaTX-Bytecode dann tasächlich implizit
LFun1$$Ljava$lang$Object$$Ljava$lang$Integer$$ ein Subtyp von Fun1$$Ljava$lang$Number$$Ljava$lang$Number$$ ist
müsste man wahrscheinli…
Habe gerade nochmals mit Julian gesprochen. Es müsste hier in der Tat immer die speziellste Methode ausgesucht werden. Bei der Unifikation wird das schwierig, weil bei ungetypten Überladungen…
Das liegt daran, dass in Bar.java:
public class Bar{
void visit(Object o){
System.out.println("Object");
}
void visit(Foo f){
System.out.println("Foo");
…
In der Tat muss das Problem im Bytecodegenerierer liegen. Das Resultset hat zwei Lösungen
class Foo {
Foo()({ })::TPH X TPH N accept(Bar b)({ ((b)::Bar.visit Signature: [TPH P,…
Ich welchen commit gibt es diesen Bug? Bei mir ist die Datei nicht vorhanden