From 51f2a80dac5c3cd25a27fb5abfdfa50d813ab0b2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 28 Apr 2009 15:04:37 -0400
Subject: A view query works

---
 src/explify.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/explify.sml')

diff --git a/src/explify.sml b/src/explify.sml
index 6a33eabc..2e181771 100644
--- a/src/explify.sml
+++ b/src/explify.sml
@@ -182,6 +182,8 @@ fun explifyDecl (d, loc : EM.span) =
         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)
-- 
cgit v1.2.3