Mercurial > urweb

diff src/elab_ops.sml @ 209:1487c712eb12

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Stub WHERE support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 12:15:38 -0400
parents cc68da3801bc
children 950320f33232
line wrap: on
line diff
--- a/src/elab_ops.sml	Sat Aug 16 10:54:46 2008 -0400
+++ b/src/elab_ops.sml	Sat Aug 16 12:15:38 2008 -0400
@@ -136,6 +136,7 @@
            | ((CRecord (_, []), _), c2') => c2'
            | ((CConcat (c11, c12), loc), c2') =>
              hnormCon env (CConcat (c11, (CConcat (c12, c2'), loc)), loc)
+           | (c1', (CRecord (_, []), _)) => c1'
            | _ => cAll)
 
       | CProj (c, n) =>