ContinueAfterFailSpec.hs 533 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
{-# LANGUAGE FlexibleInstances #-}

module FORecursiveTypes.ContinueAfterFailSpec where

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

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


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


main :: IO ()
main = hspec spec

spec :: Spec
spec = sharedSpec $ C.inferType Empty Empty