{-# LANGUAGE TypeApplications, TemplateHaskell #-}
module Test.Language.Souffle.Experimental.FixturesCompiled () where

-- NOTE: this module can't be grouped together with "Fixtures"
-- due to TemplateHaskell staging restriction.

import Test.Language.Souffle.Experimental.Fixtures
import Language.Souffle.Experimental

$(embedProgram CompiledProgram $ do
  Predicate edge <- predicateFor @Edge
  Predicate reachable <- predicateFor @Reachable
  a <- var "a"
  b <- var "b"
  c <- var "c"
  reachable(a, b) |- edge(a, b)
  reachable(a, b) |- do
    edge(a, c)
    reachable(c, b)
 )