aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEduardo Julian2015-11-29 15:38:07 -0400
committerEduardo Julian2015-11-29 15:38:07 -0400
commit5d08574258a396962f99e39d002d8ba274c8c367 (patch)
tree7cf6bfb7301f6bf0036e88fab76566a4304efe97 /.gitignore
parent09107d6abf85b51aa407880d0ed5dec7cfb22e85 (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