Commit d998699a authored by Jan-Hendrik Matthes's avatar Jan-Hendrik Matthes 😄

Add a new test for incompatible types

parent 6aff14f7
......@@ -285,6 +285,8 @@ failInfos = map (uncurry mkFailTest)
, "trueFun False"
, "Type error in application"
, "applyEqFun ((==) :: Bool -> Bool -> Bool)"
, "Type error in equation"
, "whereTest = whereTest'"
]
)
, ("KindCheck",
......
......@@ -26,3 +26,8 @@ applyEqFun f x y = x `f` y
applyEqFunTest :: Bool
applyEqFunTest = applyEqFun ((==) :: Bool -> Bool -> Bool) True False
whereTest :: (forall a. a -> a) -> (Char, Bool)
whereTest = whereTest'
where
whereTest' f = (f 'c', f True)
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