diff options
author | Eduardo Julian | 2015-11-29 15:38:07 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-11-29 15:38:07 -0400 |
commit | 5d08574258a396962f99e39d002d8ba274c8c367 (patch) | |
tree | 7cf6bfb7301f6bf0036e88fab76566a4304efe97 /.gitignore | |
parent | 09107d6abf85b51aa407880d0ed5dec7cfb22e85 (diff) |
- Improved error messaging when building variants & tuples.
- Improved error messaging when type-checking.
- Improved error messaging when applying functions.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions