diff options
| author | Eduardo Julian | 2016-07-29 19:32:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-07-29 19:32:44 -0400 |
| commit | 390a892a6b6a32728bd5f829509e079816f8bde7 (patch) | |
| tree | 3561f6031a50c43c2ac0d9aa85566ceda105ed12 /test | |
| parent | 1ec61a0e6046afc3f408efbfc238391a0cac5bbf (diff) | |
- Fixed a bug in the way type-adjustment happens during pattern-matching, in which the handing of universal quantification and type-vars was done improperly and caused the wrong type-vars to show up in the wrong places.
- Fixed a bug in the type-checking of function application, in which, if the result of an apply was a universally-quantified value, the type wasn't actually universally-quantified, even though the BoundTs had been added to it.
- Fixed a bug in the way the "loop" optimized-AST was compiled, which sometimes caused miscalculation, due to premature rebinding of variables.
- Now also cleaning ExQ.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions