summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-05-01 11:59:35 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-05-01 11:59:35 -0400
commite77751ae70458f5b22c3872232da30ed8b127ee1 (patch)
tree12f6b21d5d6cae0833689867ed6fa70157084098
parentcfa74f17f0f52d49a0d14f0cf34385182730cf31 (diff)
Safe unmodeled SQL expressions marked as known
-rw-r--r--src/iflow.sml4
1 files changed, 2 insertions, 2 deletions
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