uio-jpt/pt-compiler — Issue #16: typeparametre må kopieres til adds-klasser
Author: svk
Created: 2012-02-10 10:55:35+00:00
State: open

Har sjekket eksempelet til Stein fra møtet:

template T { class A

{ void f(U x) { } } }
package P { inst T; class A adds { void g(U x); } }

Status nå er at dette _ikke_ fungerer. Det fungerer hvis og bare hvis en skriver "class A

adds ...". Da går det også fint å bruke U inne i adds-klassen. Imidlertid _må_ en skrive dette, selv om adds-klassen er tom: "class A adds {}" går galt.

Ønsket oppførsel her er vel at man ikke skal trenge å skrive

på adds-klassen. Skal det være forbudt å gjøre det? Om ikke trengs det også konsistenssjekking.