Mercurial > urweb

comparison src/elaborate.sml @ 2272:b49d22a4eda8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge.
author Ziv Scully <ziv@mit.edu>
date Sat, 31 Oct 2015 23:35:42 -0400
parents 1ecef02f67c5
children 22117edf8fd3
comparison
equal deleted inserted replaced
2271:85f91c7452b0 2272:b49d22a4eda8
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