WIP

Author: cstml

lambda-buffers-compiler/src/LambdaBuffers/Compiler/KindCheck.hs

@@ -30,6 +30,8 @@ import LambdaBuffers.Compiler.KindCheck.Inference (
 
 import Control.Monad (void)
 import Data.Traversable (for)
+
+import LambdaBuffers.Common.ProtoCompat ()
 import Proto.Compiler (
   Product'NTuple,
   Product'Product (Product'Ntuple, Product'Record'),
@@ -61,7 +63,6 @@ import Proto.Compiler_Fields as PF (
   tyBody,
   tyFunc,
   tyName,
-  tyVars,
   varName,
  )