| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | moving patmat to its own phase | Adriaan Moors | 2012-05-02 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | | | | | | sort field accessors, necessary after typers -- apparently... don't throw TypeError, use issueTypeError don't run patmat phase when -Xoldpatmat only virtualize matches when -Xexperimental recycle cps type of match for re-typechecking: when one of the internal cps-type-state annotations is present, strip all CPS annotations a cps-type-state-annotated type makes no sense as an expected type (matchX.tpe is used as pt in translateMatch) don't synth FunctionN impls during typer, only do this for PartialFunction updated check now function synth for match is deferred until uncurry patmat-transform try/catch with match in cps cleanup in selective anf remove TODO: can there be cases that are not CaseDefs -- nope | ||||
| * | restore typedMatchAnonFun in all its glory | Adriaan Moors | 2012-04-14 | 1 | -2/+2 |
| | | | | | | | | | | detect partialfunction in cpsannotationchecker emit apply/isDefinedAt if PF has @cps targs (applyOrElse can't be typed) further hacky improvements to selective anf better try/catch support in selective cps using freshly minted anonfun match make virtpatmat resilient to scaladoc (after uncurry, don't translate matches TODO: factor out translation all together so presentation compiler/scaladoc can skip it) | ||||
| * | SI-5189: refined GADT soundness fix | Adriaan Moors | 2012-03-19 | 1 | -1/+1 |
| | | | | | | extrapolate GADT skolems: only complicate types when needed make sure we only deskolemize GADT skolems after typedCase | ||||
| * | Test case closes SI-4515. | Paul Phillips | 2012-01-29 | 1 | -0/+6 |
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |