Mercurial > urweb

diff src/explify.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children e2780d2f4afc
line wrap: on
line diff
--- a/src/explify.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/explify.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -182,6 +182,8 @@
         SOME (L'.DTable (nt, x, n, explifyCon c,
                          explifyExp pe, explifyCon pc,
                          explifyExp ce, explifyCon cc), loc)
+      | L.DView (nt, x, n, e, c) =>
+        SOME (L'.DView (nt, x, n, explifyExp e, explifyCon c), loc)
       | L.DSequence (nt, x, n) => SOME (L'.DSequence (nt, x, n), loc)
       | L.DClass (x, n, k, c) => SOME (L'.DCon (x, n,
                                                 (L'.KArrow (explifyKind k, (L'.KType, loc)), loc), explifyCon c), loc)