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 | b5e07682e03fde1fa04b4f22d59600162ab5a685 (patch) | |
| tree | c33f8114b34b77838cbc0ffdcca11d9345d49c3c /src/list_util.sml | |
| parent | 2b1c2fd0321b3ee072f6d9f43a3e908ec49e3251 (diff) | |
Do a lot more type simplification for error messages
Diffstat (limited to 'src/list_util.sml')
0 files changed, 0 insertions, 0 deletions