Mercurial > urweb

comparison src/elaborate.sml @ 2184:1ecef02f67c5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More Elaborate work to avoid instantiating unification variables with out-of-scope regular variables
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Oct 2015 17:23:07 -0400
parents 010ce27228f1
children 22117edf8fd3
comparison
equal deleted inserted replaced
2183:74c762002352 2184:1ecef02f67c5
781 let 781 let
782 val c = hnormCon env c 782 val c = hnormCon env c
783 783
784 val sum = 784 val sum =
785 case c of 785 case c of
786 (L'.CRecord (_, xcs), _) => {fields = xcs, unifs = [], others = []} 786 (L'.CRecord (_, xcs), _) => {fields = map (fn (x, c) => (hnormCon env x, hnormCon env c)) xcs,
787 unifs = [], others = []}
787 | (L'.CConcat (c1, c2), _) => 788 | (L'.CConcat (c1, c2), _) =>
788 let 789 let
789 val s1 = recordSummary env c1 790 val s1 = recordSummary env c1
790 val s2 = recordSummary env c2 791 val s2 = recordSummary env c2
791 in 792 in