Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fixed 1231 (erroneously overriding abstract hig... | Adriaan Moors | 2007-07-20 | 1 | -0/+10 |
fixed 1231 (erroneously overriding abstract higher-kinded type member with type member of kind * is not detected) --> added [type|term]SymbolDirect, which returns the symbol directly associated with a Type (i.e., without normalizing first) |