diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-10-24 17:23:07 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-10-24 17:23:07 -0400 |
| commit | 9522a0b394273e23c3b0492f2630e600e596488e (patch) | |
| tree | 3a0dca566e5d18066397e1ce96c0aca56705200a | |
| parent | 3256142dc01f7f173289a1910e726b662a877408 (diff) | |
More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
| -rw-r--r-- | src/elaborate.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index ca4e124c..1885345d 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -783,7 +783,8 @@ val sum = case c of - (L'.CRecord (_, xcs), _) => {fields = xcs, unifs = [], others = []} + (L'.CRecord (_, xcs), _) => {fields = map (fn (x, c) => (hnormCon env x, hnormCon env c)) xcs, + unifs = [], others = []} | (L'.CConcat (c1, c2), _) => let val s1 = recordSummary env c1 |