Mercurial > urweb

diff src/elaborate.sml @ 412:df4cbd90a26e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Infering sum rows
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 19:31:11 -0400
parents 06fcddcd20d3
children 6a0e54400805
line wrap: on
line diff
--- a/src/elaborate.sml	Tue Oct 21 19:24:39 2008 -0400
+++ b/src/elaborate.sml	Tue Oct 21 19:31:11 2008 -0400
@@ -1,4 +1,4 @@
- (* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008, Adam Chlipala
   * All rights reserved.
   *
   * Redistribution and use in source and binary forms, with or without
@@ -743,7 +743,10 @@
          fun unfold (dom, ran, f, i, r, c) =
              let
                  val nm = cunif (loc, (L'.KName, loc))
-                 val v = cunif (loc, dom)
+                 val v =
+                     case dom of
+                         (L'.KUnit, _) => (L'.CUnit, loc)
+                       | _ => cunif (loc, dom)
                  val rest = cunif (loc, (L'.KRecord dom, loc))
                  val acc = (L'.CFold (dom, ran), loc)
                  val acc = (L'.CApp (acc, f), loc)