Merge pull request #58 from mlabs-haskell/compiler/proto-integration

Compiler: ProtoCompat Inference Integration

Author: bladyjoker

flake.nix

@@ -67,7 +67,7 @@
           };
 
           index-state = "2022-12-01T00:00:00Z";
-          compiler-nix-name = "ghc924";
+          compiler-nix-name = "ghc925";
 
           # Common build abstraction for the components.
           buildAbstraction = { import-location, additional ? { } }:

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

@@ -94,9 +94,11 @@ library
   import:          common-imports
   build-depends:
     , containers                  >=0.6.5.1
+    , data-default                >=0.7
     , freer-simple                >=1.2
     , generic-arbitrary
     , generic-lens                >=2.2
+    , generics-sop                >=0.5
     , lambda-buffers-compiler-pb  >=0.1.0.0
     , mtl                         >=2.2
     , parsec                      >=3.1
@@ -109,16 +111,14 @@ library
   exposed-modules:
     LambdaBuffers.Compiler
     LambdaBuffers.Compiler.KindCheck
-    LambdaBuffers.Compiler.KindCheck.Context
     LambdaBuffers.Compiler.KindCheck.Derivation
     LambdaBuffers.Compiler.KindCheck.Inference
-    LambdaBuffers.Compiler.KindCheck.Judgement
     LambdaBuffers.Compiler.KindCheck.Kind
     LambdaBuffers.Compiler.KindCheck.Type
-    LambdaBuffers.Compiler.KindCheck.Variable
     LambdaBuffers.Compiler.NamingCheck
     LambdaBuffers.Compiler.ProtoCompat
     LambdaBuffers.Compiler.ProtoCompat.FromProto
+    LambdaBuffers.Compiler.ProtoCompat.InfoLess
     LambdaBuffers.Compiler.ProtoCompat.Types
     LambdaBuffers.Compiler.TypeClassCheck
     LambdaBuffers.Compiler.TypeClassCheck.Compat
@@ -154,6 +154,7 @@ test-suite tests
   main-is:        Test.hs
   build-depends:
     , containers                  >=0.6
+    , data-default                >=0.7
     , generic-lens                >=2.2
     , hedgehog                    >=1.2
     , lambda-buffers-compiler