new: add recursive and either tests

Author: cstml

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

@@ -86,15 +86,15 @@ common common-language
 
 common common-imports
   build-depends:
-    , base  >=4.16
-    , lens  >=5.2
+    , base          >=4.16
+    , data-default  >=0.7
+    , lens          >=5.2
 
 library
   import:          common-language
   import:          common-imports
   build-depends:
     , containers                  >=0.6.5.1
-    , data-default                >=0.7
     , freer-simple                >=1.2
     , generic-arbitrary
     , generic-lens                >=2.2

lambda-buffers-compiler/test/Test/KindCheck.hs

@@ -43,7 +43,7 @@ testCheck =
     , kcTestFailing
     , kcTestEither
     , kcTestMaybe'n'Either
-    , kcTestFix
+    , kcTestRec
     ]
 
 trivialKCTest :: TestTree
@@ -86,7 +86,14 @@ testFolds =
     "Test Folds"
     [ testGroup
         "Test Arrow Folds"
-        [testArrowFold0, testArrowFold1, testArrowFold2, testArrowFold3HK, testArrowFold4HK, testArrowFoldHHK, testFoldWithArrowToTypeTotal]
+        [ testArrowFold0
+        , testArrowFold1
+        , testArrowFold2
+        , testArrowFold3HK
+        , testArrowFold4HK
+        , testArrowFoldHHK
+        , testFoldWithArrowToTypeTotal
+        ]
     ]
 
 ty :: Kind

lambda-buffers-compiler/test/Test/Utils/Constructors.hs

@@ -22,13 +22,17 @@ module Test.Utils.Constructors (
   _LocalRef,
   _LocalRef',
   _ForeignRef',
+  _TyApp,
 ) where
 
 import Control.Lens ((^.))
 import Data.Map qualified as Map
 import Data.Text (Text)
 import LambdaBuffers.Compiler.ProtoCompat qualified as PC
 import LambdaBuffers.Compiler.ProtoCompat.Types (SourceInfo)
+import Proto.Compiler_Fields ()
+
+import Data.Default (def)
 
 _CompilerInput :: [PC.Module] -> PC.CompilerInput
 _CompilerInput ms =
@@ -116,8 +120,14 @@ _Sum cs =
       , sourceInfo = PC.defSourceInfo
       }
 
-_TyApp :: PC.Ty
-_TyApp = PC.TyAppI
+_TyApp :: PC.Ty -> PC.Ty -> PC.Ty
+_TyApp ty1 ty2 =
+  PC.TyAppI $
+    PC.TyApp
+      { PC.tyFunc = ty1
+      , PC.tyArgs = [ty2]
+      , PC.sourceInfo = def
+      }
 
 _TyAbs :: [(Text, PC.KindType)] -> [(Text, PC.Product)] -> PC.TyAbs
 _TyAbs args body =

lambda-buffers-compiler/test/Test/Utils/TyDef.hs

@@ -20,6 +20,7 @@ import Test.Utils.Constructors (
   _SourceInfo,
   _TupleI,
   _TyAbs,
+  _TyApp,
   _TyDef,
   _TyName,
   _TyRefILocal,
@@ -53,14 +54,21 @@ tyDef'either =
         ]
     )
 
+-- data F a = Rec F (F a)
 tyDef'recDef :: P.TyDef
 tyDef'recDef =
   _TyDef
     (_TyName "F")
     ( _TyAbs
         [ ("a", _Type)
         ]
-        [ ("Rec", _TupleI [_TyRefILocal "F"])
+        [
+          ( "Rec"
+          , _TupleI
+              [ _TyApp (_TyRefILocal "F") $
+                  _TyApp (_TyRefILocal "F") (_TyVarI "a")
+              ]
+          )
         ]
     )