search

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

Compiler: ProtoCompat Inference Integration #58

Closed cstml closed 1 year ago

cstml commented 1 year ago

The following PR:

  1. Updates the internals of the KindChecker inference to work directly with the define ProtoCompat module.
  2. Introduces an InfoLess class that ignores the SourceInformation of a type.
  3. Bump ghc version to avoid warning when nix building
  4. Added Either and Recursive definition tests