diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-01-29 18:19:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-01-29 18:19:25 -0500 |
| commit | eb48e8bc513c470f5282a8bef3f4616665caef06 (patch) | |
| tree | ef87ccb685fbe75fd9dfc786039b2ef3fec1fecc /src/pathcheck.sig | |
| parent | e7e23eeb286ffac62b2b0a180c9ecc8510aaf33d (diff) | |
Add another simple case for record unification between alpha-equivalent constructors
Diffstat (limited to 'src/pathcheck.sig')
0 files changed, 0 insertions, 0 deletions