diff options
author | 2014-01-29 18:19:25 -0500 | |
---|---|---|
committer | 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