update: move into Utils

Author: cstml

lambda-buffers-compiler/lambda-buffers-compiler.cabal

@@ -156,9 +156,9 @@ test-suite tests
 
   other-modules:
     Test.KindCheck
-    Test.Proto.CompilerInput
-    Test.Proto.Module
-    Test.Proto.SourceInfo
-    Test.Proto.TyDef
-    Test.Proto.Utils
     Test.TypeClassCheck
+    Test.Utils.CompilerInput
+    Test.Utils.Constructors
+    Test.Utils.Module
+    Test.Utils.SourceInfo
+    Test.Utils.TyDef

lambda-buffers-compiler/test/Test/KindCheck.hs

@@ -15,10 +15,6 @@ import LambdaBuffers.Compiler.KindCheck.Variable (
 import LambdaBuffers.Compiler.ProtoCompat.Types qualified as P (
   CompilerInput (CompilerInput),
  )
-import Test.Proto.CompilerInput (
-  compilerInput'incoherent,
-  compilerInput'maybe,
- )
 import Test.QuickCheck (
   Arbitrary (arbitrary, shrink),
   Property,
@@ -31,6 +27,10 @@ import Test.QuickCheck (
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.HUnit (assertBool, testCase, (@?=))
 import Test.Tasty.QuickCheck (testProperty)
+import Test.Utils.CompilerInput (
+  compilerInput'incoherent,
+  compilerInput'maybe,
+ )
 
 --------------------------------------------------------------------------------
 -- Top Level tests

lambda-buffers-compiler/test/Test/Proto/CompilerInput.hs renamed to lambda-buffers-compiler/test/Test/Utils/CompilerInput.hs

@@ -1,8 +1,8 @@
-module Test.Proto.CompilerInput (compilerInput'incoherent, compilerInput'maybe) where
+module Test.Utils.CompilerInput (compilerInput'incoherent, compilerInput'maybe) where
 
 import Control.Lens ((&), (.~))
 import LambdaBuffers.Compiler.ProtoCompat qualified as P
-import Test.Proto.Module (module'incoherent, module'maybe)
+import Test.Utils.Module (module'incoherent, module'maybe)
 
 -- | Compiler Input containing 1 module with 1 definition - Maybe.
 compilerInput'maybe :: P.CompilerInput

lambda-buffers-compiler/test/Test/Proto/Utils.hs renamed to lambda-buffers-compiler/test/Test/Utils/Constructors.hs

@@ -1,4 +1,4 @@
-module Test.Proto.Utils (
+module Test.Utils.Constructors (
   _tyName,
   _varName,
   _tyVar,
@@ -17,7 +17,7 @@ module Test.Proto.Utils (
 import Data.List.NonEmpty (fromList)
 import Data.Text (Text)
 import LambdaBuffers.Compiler.ProtoCompat qualified as P
-import Test.Proto.SourceInfo (sourceInfo'empty)
+import Test.Utils.SourceInfo (sourceInfo'empty)
 
 _tyName :: Text -> P.TyName
 _tyName x = P.TyName x sourceInfo'empty

lambda-buffers-compiler/test/Test/Proto/Module.hs renamed to lambda-buffers-compiler/test/Test/Utils/Module.hs

@@ -1,9 +1,9 @@
-module Test.Proto.Module (module'maybe, module'incoherent) where
+module Test.Utils.Module (module'maybe, module'incoherent) where
 
 import Control.Lens ((%~), (&))
 import LambdaBuffers.Compiler.ProtoCompat qualified as P
-import Test.Proto.SourceInfo (sourceInfo'empty)
-import Test.Proto.TyDef (tyDef'incoherent, tyDef'maybe)
+import Test.Utils.SourceInfo (sourceInfo'empty)
+import Test.Utils.TyDef (tyDef'incoherent, tyDef'maybe)
 
 module'maybe :: P.Module
 module'maybe =

lambda-buffers-compiler/test/Test/Proto/SourceInfo.hs renamed to lambda-buffers-compiler/test/Test/Utils/SourceInfo.hs

@@ -1,4 +1,4 @@
-module Test.Proto.SourceInfo (sourceInfo'empty) where
+module Test.Utils.SourceInfo (sourceInfo'empty) where
 
 import LambdaBuffers.Compiler.ProtoCompat qualified as P
 

lambda-buffers-compiler/test/Test/Proto/TyDef.hs renamed to lambda-buffers-compiler/test/Test/Utils/TyDef.hs

@@ -1,7 +1,7 @@
-module Test.Proto.TyDef (tyDef'maybe, tyDef'incoherent) where
+module Test.Utils.TyDef (tyDef'maybe, tyDef'incoherent) where
 
 import LambdaBuffers.Compiler.ProtoCompat qualified as P
-import Test.Proto.Utils (
+import Test.Utils.Constructors (
   _TupleI,
   _TyAbs,
   _TyDef,