Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | infer singleton when asking for it | Adriaan Moors | 2011-10-20 | 1 | -0/+5 |
a type var's constraint now also tracks whether the type var was compared to a stable type if it was, we probably shouldn't widen the type argument that's inferred for this var, as the result will surely fail to type check NOTE: must be enabled using -Xexperimental review by extempore |