changeset 1252:2e4159a7d2d3

Safe unmodeled SQL expressions marked as known
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 May 2010 11:59:35 -0400
parents 70092a661f70
children 9d65866ab9ab
files src/iflow.sml
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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