diff options
| author | Eduardo Julian | 2015-09-07 01:33:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-09-07 01:33:53 -0400 |
| commit | 08584c8d9a462ce0bd3ffb6d9535ecb3f7043289 (patch) | |
| tree | 7e8355c804c26c0232620a67f7c1054151ee21aa /source/program.lux | |
| parent | 77aae538ed0d128e291292b5defe80967d181be9 (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 'source/program.lux')
0 files changed, 0 insertions, 0 deletions