Commit 7a544808 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-07-11 09:55:18 by simonpj]

Add test for unifyFunTys
parent c7bd3896
......@@ -124,3 +124,4 @@ test('tcfail136', normal, compile_fail, [''])
test('tcfail137', normal, compile_fail, [''])
test('tcfail138', normal, compile_fail, [''])
test('tcfail139', normal, compile_fail, [''])
test('tcfail140', normal, compile_fail, [''])
-- GHC 6.4 gave pretty horrible error messages
-- for some of these examples
-- c.f. SourceForge [ ghc-Bugs-1231273 ] confusing error
module ShouldFail where
f :: Int -> Int
f x = x
bar = f 3 9
rot xs = 3 `f` 4
bot xs = map (3 `f`) xs
t = ((\Just x -> x) :: Maybe a -> a) (Just 1)
g :: Int -> Int
g x y = 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