diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-05-01 11:59:35 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-01 11:59:35 -0400 |
| commit | e77751ae70458f5b22c3872232da30ed8b127ee1 (patch) | |
| tree | 12f6b21d5d6cae0833689867ed6fa70157084098 /src | |
| parent | cfa74f17f0f52d49a0d14f0cf34385182730cf31 (diff) | |
Safe unmodeled SQL expressions marked as known
Diffstat (limited to 'src')
| -rw-r--r-- | src/iflow.sml | 4 |
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 |