Commit 220dcebf authored by André Pacak's avatar André Pacak

add missing test specs for continue after fail

parent acf6c7d6
{-# LANGUAGE FlexibleInstances #-}
module ProductTypes.ContinueAfterFailSpec where
import Prelude hiding (lookup,(*), (**))
import Test.Hspec
import ProductTypes.Base as B
import ProductTypes.SharedSpecs
import ProductTypes.ContinueAfterCheckFail as C
import ProductTypes.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
{-# LANGUAGE FlexibleInstances #-}
module SumTypes.ContinueAfterFailSpec where
import Prelude hiding (lookup,(*), (**))
import Test.Hspec
import SumTypes.Base as B
import SumTypes.SharedSpecs
import SumTypes.ContinueAfterCheckFail as C
import SumTypes.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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment