Commit cb5ed257 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Make the test actually test the bug!

(Thanks to Martijn for correcting this oversight.)
parent 91132acd
......@@ -9,7 +9,7 @@ tf :: T
tf = T id
-- Can't write this type signature:
-- f :: t -> t
f :: t -> t
T f = tf
-- But with an indirection we can:
......
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