Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/elaborate.sml	Wed Oct 21 09:18:36 2015 -0400
+++ b/src/elaborate.sml	Sat Oct 31 23:35:42 2015 -0400
@@ -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