We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 061ebf1 commit 7bff35eCopy full SHA for 7bff35e
lambda-buffers-compiler/test/Test/KindCheck.hs
@@ -69,7 +69,7 @@ kcTestFailing =
69
-}
70
kcTestOrdering :: TestTree
71
kcTestOrdering =
72
- testProperty "Module order inside the CompilerInput does not matter to the result of the kindchecker." $
+ testProperty "Module order inside the CompilerInput does not matter." $
73
forAllShrink (resize 5 genModuleIn2Layouts) shrink $
74
\(l, r) -> eitherFailOrPass (check_ l) == eitherFailOrPass (check_ r)
75
where
0 commit comments