- 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.

0 files changed, 0 insertions, 0 deletions