new: add Local test

Author: cstml

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

@@ -4,11 +4,11 @@ import LambdaBuffers.Compiler.KindCheck (check_)
 import LambdaBuffers.Compiler.ProtoCompat.Types (CompilerError (CompKindCheckError), KindCheckError (UnboundTyRefError, UnboundTyVarError))
 import Test.Tasty (TestTree, testGroup)
 import Test.Tasty.HUnit (testCase, (@?=))
-import Test.Utils.CompilerInput (compilerInput'undefinedForeignTyRef, compilerInput'undefinedVariable)
-import Test.Utils.TyDef (tyDef'undefinedForeignTyRef, tyDef'undefinedForeignTyRef'TyRef, tyDef'undefinedVar, tyDef'undefinedVar'var)
+import Test.Utils.CompilerInput (compilerInput'undefinedForeignTyRef, compilerInput'undefinedLocalTyRef, compilerInput'undefinedVariable)
+import Test.Utils.TyDef (tyDef'undefinedForeignTyRef, tyDef'undefinedForeignTyRef'TyRef, tyDef'undefinedLocalTyRef, tyDef'undefinedLocalTyRef'TyRef, tyDef'undefinedVar, tyDef'undefinedVar'var)
 
 testGKindCheckErrors :: TestTree
-testGKindCheckErrors = testGroup "Kind Check Error Tests" [undefinedVariable, undefinedLocalTyRef]
+testGKindCheckErrors = testGroup "Kind Check Error Tests" [undefinedVariable, undefinedLocalTyRef, undefinedForeignTyRef]
 
 undefinedVariable :: TestTree
 undefinedVariable =
@@ -17,5 +17,10 @@ undefinedVariable =
 
 undefinedLocalTyRef :: TestTree
 undefinedLocalTyRef =
+  testCase "Catch undefined Local TyRef in Type Definition." $
+    check_ compilerInput'undefinedLocalTyRef @?= Left (CompKindCheckError $ UnboundTyRefError tyDef'undefinedLocalTyRef tyDef'undefinedLocalTyRef'TyRef)
+
+undefinedForeignTyRef :: TestTree
+undefinedForeignTyRef =
   testCase "Catch undefined Foreign TyRef in Type Definition." $
     check_ compilerInput'undefinedForeignTyRef @?= Left (CompKindCheckError $ UnboundTyRefError tyDef'undefinedForeignTyRef tyDef'undefinedForeignTyRef'TyRef)