Commit 309c7e60 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Extend tc194 slightly

parent fcb4fe57
......@@ -8,3 +8,4 @@ module ShouldCompile where
f = \ (x :: forall a. a->a) -> (x True, x 'c')
g (x :: forall a. a->a) = x
\ No newline at end of file
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