Extend tc194 slightly
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 31 Oct 2012 09:16:35 +0000 (09:16 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 31 Oct 2012 09:16:35 +0000 (09:16 +0000)
testsuite/tests/typecheck/should_compile/tc194.hs

index c9eae1e..4b780e2 100644 (file)
@@ -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