Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | generate well-formed patterns in parser | Adriaan Moors | 2012-04-24 | 1 | -0/+1 |
val pattern: Type = expr desugared to val x = expr match { case pattern: Type => (var_1, ..., var_N)} but `pattern: Type` is only a valid pattern if `pattern` is an Ident thus, we desugar to val x = (expr: Type) match { case pattern => (var_1, ..., var_N)} ... in this case (see def makePatDef) also, MaybeBoundType now fails on illegal patterns (to defend against similar regressions) |