diff options
author | 2011-11-05 09:56:52 -0400 | |
---|---|---|
committer | 2011-11-05 09:56:52 -0400 | |
commit | 120ec7b5ffbf8be08f8f9672d043ec86d9fc7cfe (patch) | |
tree | a5b880e2e6cd1d825386ca2ec8d486ac865713ea /src/expl_env.sig | |
parent | 9aa9c1fc665f38a1569ea6cdbf90ce4aee7c10af (diff) |
Fix confusing error message when record unification fails because enclosed types are incompatible
Diffstat (limited to 'src/expl_env.sig')
0 files changed, 0 insertions, 0 deletions