aboutsummaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorEduardo Julian2015-09-07 01:33:53 -0400
committerEduardo Julian2015-09-07 01:33:53 -0400
commit08584c8d9a462ce0bd3ffb6d9535ecb3f7043289 (patch)
tree7e8355c804c26c0232620a67f7c1054151ee21aa /test
parent77aae538ed0d128e291292b5defe80967d181be9 (diff)
- Type checking of polymorphic functions now relies on ExT types to guarantee that type-variables don't unify to anything, instead of relying on VarT types.
- Fixed some bugs in the standard library due to improper behavior of the type-checker. - The analysis and pattern-matching code for records now reuses that of tuples.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions