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 01a001d commit 4f06a88Copy full SHA for 4f06a88
lambda-buffers-compiler/test/Test/KindCheck/Errors.hs
@@ -2,7 +2,7 @@ module Test.KindCheck.Errors (testGKindCheckErrors) where
2
3
import LambdaBuffers.Compiler.KindCheck (check_)
4
import LambdaBuffers.Compiler.ProtoCompat qualified as PC
5
-import LambdaBuffers.Compiler.ProtoCompat.Types (CompilerError (CompKindCheckError), KindCheckError (UnboundTyRefError, UnboundTyVarError), Module)
+import LambdaBuffers.Compiler.ProtoCompat.Types (CompilerError (CompKindCheckError), KindCheckError (UnboundTyRefError, UnboundTyVarError))
6
import Test.Tasty (TestTree, testGroup)
7
import Test.Tasty.HUnit (testCase, (@?=))
8
import Test.Utils.CompilerInput (compilerInput'undefinedForeignTyRef, compilerInput'undefinedLocalTyRef, compilerInput'undefinedVariable)
0 commit comments