Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change definition of isLegalPrefix so that it allows projecting on an ↵ | Martin Odersky | 2014-06-12 | 1 | -0/+14 |
abstract type. This is needed to make the encoding og higher-kinded types work. E.g. Rep[Int] would be represented as Rep { type Arg$0 = Int } # Apply where Apply is an abstract member of the base class Lambfa$I of Rep. |