Commit ba9dee2e authored by simonpj's avatar simonpj
Browse files

[project @ 2005-05-26 21:36:32 by simonpj]

Add higher-rank test
parent b2ffa319
......@@ -203,6 +203,7 @@ test('tc190', only_compiler_types(['ghc']), compile, [''])
test('tc191', only_compiler_types(['ghc']), compile, [''])
test('tc192', only_compiler_types(['ghc']), compile, [''])
test('tc193', only_compiler_types(['ghc']), compile, [''])
test('tc194', only_compiler_types(['ghc']), compile, [''])
test('LoopOfTheDay1', normal, compile, [''])
test('LoopOfTheDay2', normal, compile, [''])
......
{-# OPTIONS -fglasgow-exts #-}
-- Tests the special case of
-- non-recursive, function binding,
-- with no type signature
module ShouldCompile where
f = \ (x :: forall a. a->a) -> (x True, x 'c')
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