{-# LANGUAGE FlexibleInstances #-}

module FORecursiveTypes.EliminateTypeMapArgumentSpec where

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

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


instance ConvertToBInfer E.Infer where
  convert (E.Inferred ty) = B.Inferred ty
  convert (E.NotInferred err) = B.NotInferred $ head err


main :: IO ()
main = hspec spec

spec :: Spec
spec = sharedSpec $ E.inferType