module FORecursiveTypes.BaseSpec where

import Prelude hiding (lookup,(*), (**))
import Test.Hspec
import Data.Map

import FORecursiveTypes.Base as B
import FORecursiveTypes.SharedSpecs
import FORecursiveTypes.Language


instance ConvertToBInfer B.Infer where
    convert x = x

main :: IO ()
main = hspec spec

typeMap :: TypeMap
typeMap = fromList [("Nat", Variant (fromList [("zero", UnitT), ("succ", TypeVar "Nat")]))]

spec :: Spec
spec = sharedSpec $ B.inferType Empty typeMap