:refactor: remove the TabularFun.hs-boot file

lsrcz · Oct 25, 2023 · 8856610 · 8856610
1 parent 6c16e0f
commit 8856610
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 24 deletions.
diff --git a/src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/InternedCtors.hs-boot b/src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/InternedCtors.hs-boot
@@ -73,7 +73,7 @@ import {-# SOURCE #-} Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term
     UnaryOp,
     type (-->),
   )
-import {-# SOURCE #-} Grisette.IR.SymPrim.Data.TabularFun
+import Grisette.IR.SymPrim.Data.TabularFun
   ( type (=->),
   )
 import Language.Haskell.TH.Syntax (Lift)

diff --git a/src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs-boot b/src/Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs-boot
@@ -43,7 +43,7 @@ import Grisette.IR.SymPrim.Data.Prim.ModelValue
   ( ModelValue,
     toModelValue,
   )
-import {-# SOURCE #-} Grisette.IR.SymPrim.Data.TabularFun
+import Grisette.IR.SymPrim.Data.TabularFun
   ( type (=->),
   )
 import Language.Haskell.TH.Syntax (Lift)

diff --git a/src/Grisette/IR/SymPrim/Data/TabularFun.hs-boot b/src/Grisette/IR/SymPrim/Data/TabularFun.hs-boot