From 27eb944b071e777b4450eadf1f76cd6a95e94fc9 Mon Sep 17 00:00:00 2001
From: Patrick Aldis <patricktaldis@gmail.com>
Date: Fri, 6 Mar 2026 18:11:43 +0000
Subject: [PATCH] fix import list

---
 datalog/src/Datalog/Parser.hs | 23 ++---------------------
 1 file changed, 2 insertions(+), 21 deletions(-)

diff --git a/datalog/src/Datalog/Parser.hs b/datalog/src/Datalog/Parser.hs
index 3d19bb9..1f6de9c 100644
--- a/datalog/src/Datalog/Parser.hs
+++ b/datalog/src/Datalog/Parser.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE BlockArguments #-}
 {-# LANGUAGE MultilineStrings #-}
+{- HLINT ignore "Use void" -}
 
 module Datalog.Parser (
     parseTerm,
@@ -12,12 +13,11 @@ where
 import Data.Text (Text)
 import Data.Text qualified as T
 import Data.Void (Void)
-import Datalog.Syntax (Atom' (..), Program' (..), Rule' (..), Term' (..))
+import Datalog.Syntax (Atom' (..), Program' (..), Rule' (..))
 import Datalog.Syntax hiding (Atom, Program, Rule, Term)
 import Text.Megaparsec
 import Text.Megaparsec.Char
 import Text.Megaparsec.Char.Lexer qualified as L
-import Text.Pretty.Simple
 
 type Parser = Parsec Void Text
 
@@ -96,22 +96,3 @@ parseThingWithSub f parseSub = do
     c <- parseSub
     SourcePos _ el ec <- getSourcePos
     pure $ f (SrcLoc (unPos sl) (unPos sc) (unPos el) (unPos ec)) c
-
-test = do
-    let r = runParser parseProgram "???" prog
-    pPrint @IO r
-
-prog =
-    """
-    odd(X,Y) :- r(X,Y).
-    odd(X,Y) :- even(X,Z), r(Z,Y).
-    even(X,Y) :- odd(X,Z), r(Z,Y).
-
-    r(0,1).
-    r(1,2).
-    r(2,3).
-    r(3,4).
-    r(4,5).
-
-    r(X,Y) :- r(Y,X).
-    """