# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1272729575 14400
# Node ID 2e4159a7d2d3c52bc44f72299afd8e56d0e64854
# Parent  70092a661f70b883a801cd33d55d665b6388f719
Safe unmodeled SQL expressions marked as known

diff -r 70092a661f70 -r 2e4159a7d2d3 src/iflow.sml
--- a/src/iflow.sml	Sat May 01 09:51:46 2010 -0400
+++ b/src/iflow.sml	Sat May 01 11:59:35 2010 -0400
@@ -493,7 +493,7 @@
                                                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 @@
                          inl e => inl (Func (Other f, [e]))
                        | _ => default ())
                      
-                  | Unmodeled => default ()
+                  | Unmodeled => inl (Func (Other "allow", [rv ()]))
             end
     in
         expIn