Skip to content

Commit

Permalink
Merge pull request #5 from chrisdone/haddocks
Browse files Browse the repository at this point in the history
Tweak docs so haddock will succeed
  • Loading branch information
travitch committed Feb 27, 2014
2 parents 1b7bde2 + c3e2c9e commit 822c6d2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/Database/Datalog/Evaluate.hs
Expand Up @@ -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.
Expand Down

0 comments on commit 822c6d2

Please sign in to comment.