Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Tweak docs so haddock will succeed

  • Loading branch information...
commit c3e2c9e8b360b8e5b1e07d20d131fc1607291b95 1 parent 1b7bde2
@chrisdone chrisdone authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/Database/Datalog/Evaluate.hs
View
4 src/Database/Datalog/Evaluate.hs
@@ -124,8 +124,8 @@ applyRule :: (Eq a, Hashable a, Show a)
=> Database a -> Rule a -> ST s [Bindings s a]
applyRule db r = do
-- We need to substitute the ΔT table in for *one* occurrence of the
- -- T relation in the rule body at a time. It must be substituted in at
- -- *each* position where T appears.
+ -- T relation in the rule body at a time. It must be substituted in
+ -- at *each* position where T appears.
case any (referencesRelation hr) b of
-- If the relation does not appear in the body at all, we don't
-- need to do the delta substitution.
Please sign in to comment.
Something went wrong with that request. Please try again.