Interaction class and method generics #61

New Issue

pl · 2020-01-29T17:21:46Z

pl commented

2020-01-29 17:21:46 +00:00

class Cycle1 {

  id1 = x -> x;

  m1(x, y) {
   y = id1.apply(x);
   x = y;
   return x;
  }

}

liefert

class Cycle1<HOH$, HOI$> {
Fun1$<HOH, HOH$> id1;

public HOH$ m1(HOH$, HOH$);
}

müsste aber

class Cycle1 {
Fun1$$<GUO,GUO> id1 = (x) -> x;

void m1(GUO x, GUO y){
y = (id1.apply(x));
x = y;
}
}

class Cycle1 { id1 = x -> x; m1(x, y) { y = id1.apply(x); x = y; return x; } } liefert class Cycle1<HOH$, HOI$> { Fun1$$<HOH$, HOH$> id1; public HOH$ m1(HOH$, HOH$); } müsste aber class Cycle1<GUO> { Fun1$$<GUO,GUO> id1 = (x) -> x; void m1(GUO x, GUO y){ y = (id1.apply(x)); x = y; } }

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#61