| [#1188] | project: compiler | priority: low | category: bug | |
|---|---|---|---|---|
| submitter | assigned to | status | date submitted | |
| Adriaan | Adriaan | fixed | 2007-06-20 14:44:42.0 | |
| subject | kind-checking in adapt looks at symbol instead of type | |||
| code |
// excerpt from new wellkinded_wrongarity2.scala class Monad[m[x]] trait ms3[m[_], t] extends Monad[m[t]] |
|||
| what happened | this compiled! (jikes!) |
|||
| what expected | error: m[t] is of kind *, whereas Monad expects a type of kind *->* the problem: adapt checked tree.symbol.typeParams, which makes m[t] (which is no different from m[Int]) look like a higher-kinded type (since the symbol doesn't know about the application to t)... now using tree.tpe.typeParams for the check | |||
| [back to overview] | ||||
| Adriaan edited on 2007-06-20 14:52:00.0 |
| fixed in r12095 |