eivindgl/pt-compiler — Issue #17: Merge og konkretisering av RT fra forskjellige templates
Author: eyvindwa
Created: 2011-11-07 12:20:31+00:00
State: open

Det ser ut som om kompilatoren har litt trøbbel i situasjoner der man både har merge av RT og konkretisering av dem. Eksempel (inspirert fra grafbiblioteket):

template T {
required interface Graph { }

required interface Visitor {
void m(Graph g);
}
}

template U {
required interface G1 {}
}

package P {
inst T with Graph => G1, Visitor <= MyVis;
inst U with G1 <= MyG1;

interface MyG1 {}

interface MyVis {
void m(MyG1 g);
}
}

Det kan se ut som om trikset her vil være å få gjort unna all renavning/merge først, for alle instansieringer, og deretter gjøre konkretisering.