Merge branch 'compiler/arbitrary-instances' of github.com:mlabs-haskell/lambda-buffers into compiler/arbitrary-instances

Author: cstml

lambda-buffers-compiler/src/LambdaBuffers/Compiler/ProtoCompat/Types.hs

@@ -301,9 +301,6 @@ data CompilerResult = CompilerResult
 
 type CompilerOutput = Either CompilerError CompilerResult
 
--- nonEmptyArbList :: forall a. Arbitrary a => Gen [a]
--- nonEmptyArbList = getNonEmpty <$> arbitrary @(NonEmptyList a)
-
 -- Orphan Instances
 instance Arbitrary a => Arbitrary (NonEmpty a) where
   arbitrary = sized f

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

@@ -69,7 +69,7 @@ kcTestFailing =
 -}
 kcTestOrdering :: TestTree
 kcTestOrdering =
-  testProperty "Module order inside the CompilerInput does not matter to the result of the kindchecker." $
+  testProperty "Module order inside the CompilerInput does not matter." $
     forAllShrink (resize 5 genModuleIn2Layouts) shrink $
       \(l, r) -> eitherFailOrPass (check_ l) == eitherFailOrPass (check_ r)
   where