summaryrefslogtreecommitdiff
path: root/src/disjoint.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 18:47:47 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-07 18:47:47 -0400
commitab0bbbf29220a995f6fa83ae43e0a4a88c9b5159 (patch)
treebecc08d27931380ecbc07af19ee9dc612d5edf47 /src/disjoint.sml
parent24158c81fb4cc8b318ceb5bc461ab2f494cb7b78 (diff)
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Diffstat (limited to 'src/disjoint.sml')
-rw-r--r--src/disjoint.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/disjoint.sml b/src/disjoint.sml
index 503544af..5cc9d1fb 100644
--- a/src/disjoint.sml
+++ b/src/disjoint.sml
@@ -254,7 +254,8 @@ and prove env denv (c1, c2, loc) =
val hasUnknown = List.exists (fn Unknown _ => true | _ => false)
val unUnknown = List.mapPartial (fn Unknown _ => NONE | Piece p => SOME p)
in
- if hasUnknown ps1 orelse hasUnknown ps2 then
+ if (hasUnknown ps1 andalso not (List.null ps2))
+ orelse (hasUnknown ps2 andalso not (List.null ps1)) then
[(loc, env, denv, c1, c2)]
else
let