Merge branch 'main' into compiler/typeclass-utils

Author: gnumonik

lambda-buffers-compiler/lambda-buffers-compiler.cabal

@@ -167,6 +167,7 @@ test-suite tests
   other-modules:
     Test.DeriveCheck
     Test.KindCheck
+    Test.KindCheck.Errors
     Test.LambdaBuffers.Compiler
     Test.LambdaBuffers.Compiler.Gen
     Test.TypeClassCheck