Commit 678df4c2 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix up test for T7861

Fixes Trac #9972
parent 3d449110
......@@ -10,4 +10,12 @@ doA = undefined
f :: A a -> a
f = doA
main = do { print "Hello"; f `seq` print "Bad" }
main = do { print "Hello 1"
; f `seq` print "Hello 2"
-- The casts are pushed inside the lambda
-- for f, so this seq succeds fine
; f (error "urk") `seq` print "Bad"
-- But when we *call* f we get a type error
T7861: T7861.hs:11:5:
Couldn't match type ‘a’ with ‘[a]’
‘a’ is a rigid type variable bound by
the type signature for f :: A a -> a at T7861.hs:10:6
the type signature for: f :: A a -> a at T7861.hs:10:6
Expected type: A a -> a
Actual type: A a -> [a]
Relevant bindings include f :: A a -> a (bound at T7861.hs:11:1)
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