Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | closes #3691. | Adriaan Moors | 2010-08-14 | 1 | -0/+16 |
TODO: clean this up, introduce datatypes to denote kinds, split checkKindBounds into kind inference and subkind checking review by odersky |
index : scala | ||
The Scala programming language |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | closes #3691. | Adriaan Moors | 2010-08-14 | 1 | -0/+16 |
TODO: clean this up, introduce datatypes to denote kinds, split checkKindBounds into kind inference and subkind checking review by odersky |