9fans archive / 2004 / 05 / 374 prev nextFrom: Charles Forsyth <forsyth@ter...> Subject: limbo polymorphism Date: Thu, 20 May 2004 21:10:25 +0100 Env: adt[V] for { V => discard: fn(v: self V); } { following a suggestion of roger's, that for clause might move to follow the adt declaration, that's one reason the syntax hasn't been published yet. it doesn't affect functionality.