File tree Expand file tree Collapse file tree 7 files changed +19
-19
lines changed Expand file tree Collapse file tree 7 files changed +19
-19
lines changed Original file line number Diff line number Diff line change @@ -156,9 +156,9 @@ test-suite tests
156156
157157 other-modules :
158158 Test.KindCheck
159- Test.Samples. Proto.CompilerInput
160- Test.Samples. Proto.Module
161- Test.Samples. Proto.SourceInfo
162- Test.Samples. Proto.TyDef
163- Test.Samples. Proto.Utils
159+ Test.Proto.CompilerInput
160+ Test.Proto.Module
161+ Test.Proto.SourceInfo
162+ Test.Proto.TyDef
163+ Test.Proto.Utils
164164 Test.TypeClassCheck
Original file line number Diff line number Diff line change @@ -15,6 +15,10 @@ import LambdaBuffers.Compiler.KindCheck.Variable (
1515import LambdaBuffers.Compiler.ProtoCompat.Types qualified as P (
1616 CompilerInput (CompilerInput ),
1717 )
18+ import Test.Proto.CompilerInput (
19+ compilerInput'incoherent ,
20+ compilerInput'maybe ,
21+ )
1822import Test.QuickCheck (
1923 Arbitrary (arbitrary , shrink ),
2024 Property ,
@@ -24,10 +28,6 @@ import Test.QuickCheck (
2428 shuffle ,
2529 (===) ,
2630 )
27- import Test.Samples.Proto.CompilerInput (
28- compilerInput'incoherent ,
29- compilerInput'maybe ,
30- )
3131import Test.Tasty (TestTree , testGroup )
3232import Test.Tasty.HUnit (assertBool , testCase , (@?=) )
3333import Test.Tasty.QuickCheck (testProperty )
Original file line number Diff line number Diff line change 1- module Test.Samples. Proto.CompilerInput (compilerInput'incoherent , compilerInput'maybe ) where
1+ module Test.Proto.CompilerInput (compilerInput'incoherent , compilerInput'maybe ) where
22
33import Control.Lens ((&) , (.~) )
44import LambdaBuffers.Compiler.ProtoCompat qualified as P
5- import Test.Samples. Proto.Module (module'incoherent , module'maybe )
5+ import Test.Proto.Module (module'incoherent , module'maybe )
66
77-- | Compiler Input containing 1 module with 1 definition - Maybe.
88compilerInput'maybe :: P. CompilerInput
Original file line number Diff line number Diff line change 1- module Test.Samples. Proto.Module (module'maybe , module'incoherent ) where
1+ module Test.Proto.Module (module'maybe , module'incoherent ) where
22
33import Control.Lens ((%~) , (&) )
44import LambdaBuffers.Compiler.ProtoCompat qualified as P
5- import Test.Samples. Proto.SourceInfo (sourceInfo'empty )
6- import Test.Samples. Proto.TyDef (tyDef'incoherent , tyDef'maybe )
5+ import Test.Proto.SourceInfo (sourceInfo'empty )
6+ import Test.Proto.TyDef (tyDef'incoherent , tyDef'maybe )
77
88module'maybe :: P. Module
99module'maybe =
Original file line number Diff line number Diff line change 1- module Test.Samples. Proto.SourceInfo (sourceInfo'empty ) where
1+ module Test.Proto.SourceInfo (sourceInfo'empty ) where
22
33import LambdaBuffers.Compiler.ProtoCompat qualified as P
44
Original file line number Diff line number Diff line change 1- module Test.Samples. Proto.TyDef (tyDef'maybe , tyDef'incoherent ) where
1+ module Test.Proto.TyDef (tyDef'maybe , tyDef'incoherent ) where
22
33import LambdaBuffers.Compiler.ProtoCompat qualified as P
4- import Test.Samples. Proto.Utils (
4+ import Test.Proto.Utils (
55 _TupleI ,
66 _TyAbs ,
77 _TyDef ,
Original file line number Diff line number Diff line change 1- module Test.Samples. Proto.Utils (
1+ module Test.Proto.Utils (
22 _tyName ,
33 _varName ,
44 _tyVar ,
@@ -17,7 +17,7 @@ module Test.Samples.Proto.Utils (
1717import Data.List.NonEmpty (fromList )
1818import Data.Text (Text )
1919import LambdaBuffers.Compiler.ProtoCompat qualified as P
20- import Test.Samples. Proto.SourceInfo (sourceInfo'empty )
20+ import Test.Proto.SourceInfo (sourceInfo'empty )
2121
2222_tyName :: Text -> P. TyName
2323_tyName x = P. TyName x sourceInfo'empty
You can’t perform that action at this time.
0 commit comments