diff options
| author | Eduardo Julian | 2015-04-29 23:58:19 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-04-29 23:58:19 -0400 |
| commit | b1d166bcf88c24c2a1847866d1cf4e944fb80788 (patch) | |
| tree | 8bb2bc691ad287ec399d22dd4e08ed8380867f9b /.gitignore | |
| parent | ccf68d96c9c9e6bb6016ee8663289c3b3f6079d2 (diff) | |
- Made a slight correction to the Syntax type when it comes to records (slot-names are no longer Text, but Syntax).
- lux/type;bound? no longer does further derefs to check for bound-ness?
- Improved the way 2 type-vars are type-checked.
- When cleaning type-vars, the dereffed typed is no longer cleaned again.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions