From e77751ae70458f5b22c3872232da30ed8b127ee1 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 May 2010 11:59:35 -0400
Subject: Safe unmodeled SQL expressions marked as known

---
 src/iflow.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/iflow.sml')

diff --git a/src/iflow.sml b/src/iflow.sml
index 150b9774..83ab7d01 100644
--- a/src/iflow.sml
+++ b/src/iflow.sml
@@ -493,7 +493,7 @@ fun representative (db : database, e) =
                                                Rep = ref NONE,
                                                Cons = ref SM.empty,
                                                Variety = Nothing,
-                                               Known = ref false,
+                                               Known = ref (f = "allow"),
                                                Ge = ref NONE})
                         in
                             #Funcs db := ((f, rs), r) :: (!(#Funcs db));
@@ -1608,7 +1608,7 @@ fun expIn rv env rvOf =
                          inl e => inl (Func (Other f, [e]))
                        | _ => default ())
                      
-                  | Unmodeled => default ()
+                  | Unmodeled => inl (Func (Other "allow", [rv ()]))
             end
     in
         expIn
-- 
cgit v1.2.3