diff options
author | Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:46:42 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2012-04-16 09:46:42 -0400 |
commit | 381cdb4213afe0eb08aa393cb82ed4f34570e40a (patch) | |
tree | c33f8114b34b77838cbc0ffdcca11d9345d49c3c /tests/spacey.ur | |
parent | 479492da8c42acbd6ec8832f3012f357dcf190af (diff) |
Do a lot more type simplification for error messages
Diffstat (limited to 'tests/spacey.ur')
0 files changed, 0 insertions, 0 deletions