Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Negtests with // error comments | vsalvis | 2016-02-18 | 1 | -2/+2 |
| | |||||
* | Skolemize unstable prefixes in asSeenFrom | Martin Odersky | 2015-06-06 | 1 | -0/+27 |
Skolemize unstable prefixes in asSeenFrom provided - the prefix appears at least once in non-variant or contra-variant position - we are in phase typer. After typer, we have already established soundness, so there's no need to do skolemization again. We can simply do the (otherwise unsound) substitution from this-type to prefix. |