Merge pull request #26 from mlabs-haskell/compiler/common-types-kind-checker

KC: Integrate Common Validated Proto Types

Author: bladyjoker

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

@@ -48,6 +48,7 @@ common common-language
     FlexibleInstances
     ForeignFunctionInterface
     GADTSyntax
+    GeneralizedNewtypeDeriving
     HexFloatLiterals
     ImportQualifiedPost
     InstanceSigs
@@ -64,6 +65,7 @@ common common-language
     PolyKinds
     PostfixOperators
     RankNTypes
+    RecordWildCards
     RelaxedPolyRec
     ScopedTypeVariables
     StandaloneDeriving
@@ -79,15 +81,19 @@ common common-language
 
   default-language:   Haskell2010
 
+common common-imports
+  build-depends:
+    , base  >=4.16
+    , lens  >=5.2
+
 library
   import:          common-language
+  import:          common-imports
   build-depends:
-    , base                        >=4.16
-    , containers                  >=0.6
+    , containers                  >=0.6.5.1
     , freer-simple                >=1.2
     , generic-lens                >=2.2
     , lambda-buffers-compiler-pb  >=0.1.0.0
-    , lens                        >=5.2
     , mtl                         >=2.2
     , parsec                      >=3.1
     , prettyprinter               >=1.7
@@ -96,7 +102,11 @@ library
 
   exposed-modules:
     LambdaBuffers.Compiler.KindCheck
+    LambdaBuffers.Compiler.KindCheck.Context
     LambdaBuffers.Compiler.KindCheck.Inference
+    LambdaBuffers.Compiler.KindCheck.Kind
+    LambdaBuffers.Compiler.KindCheck.Type
+    LambdaBuffers.Compiler.KindCheck.Variable
     LambdaBuffers.Compiler.NamingCheck
     LambdaBuffers.Compiler.ProtoCompat
     LambdaBuffers.Compiler.ProtoCompat.Types
@@ -106,13 +116,12 @@ library
 
 executable lambda-buffers-compiler-cli
   import:         common-language
+  import:         common-imports
   main-is:        Main.hs
   build-depends:
-    , base                        >=4.16
     , bytestring                  >=0.11
     , lambda-buffers-compiler
     , lambda-buffers-compiler-pb  >=0.1.0.0
-    , lens                        >=5.2
     , optparse-applicative        >=0.17
     , proto-lens                  >=0.7
     , text                        >=1.2
@@ -122,14 +131,13 @@ executable lambda-buffers-compiler-cli
 
 test-suite tests
   import:         common-language
+  import:         common-imports
   type:           exitcode-stdio-1.0
   hs-source-dirs: test
   main-is:        Test.hs
   build-depends:
-    , base                        >=4.16
     , lambda-buffers-compiler
     , lambda-buffers-compiler-pb  >=0.1
-    , lens                        >=5.2
     , proto-lens                  >=0.7
     , tasty                       >=1.4
     , tasty-hunit                 >=0.10