diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-07 18:47:47 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 18:47:47 -0400 |
| commit | ab0bbbf29220a995f6fa83ae43e0a4a88c9b5159 (patch) | |
| tree | becc08d27931380ecbc07af19ee9dc612d5edf47 /src/disjoint.sml | |
| parent | 24158c81fb4cc8b318ceb5bc461ab2f494cb7b78 (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.sml | 3 |
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 |