negation works fine, now, so this comment is out of date

BrianHicks · Jan 6, 2021 · 88454c3 · 88454c3
1 parent 7a4c963
commit 88454c3
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/Datalog.elm b/src/Datalog.elm
@@ -238,12 +238,6 @@ evaluateAtomHelp bound substitutions facts soFar =
                 Negatable Positive Nothing ->
                     evaluateAtomHelp bound substitutions rest soFar
 
-                -- the idea with negative atoms is essentially that we
-                -- select the complement of things that it would select if
-                -- it were positive. We do this by just flipping around the
-                -- positive/negative results! It seems to give weird results in
-                -- some cases (probably because I haven't implemented stratified
-                -- negation yet.)
                 Negatable Negative (Just _) ->
                     []