Commit 3f7fb6a2 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-06-28 09:34:22 by simonpj]

Add typechecker-loop test; could merge to stable
parent 8ca92e48
......@@ -204,6 +204,7 @@ 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('tc195', 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')
{-# 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')
{-# OPTIONS -fglasgow-exts #-}
-- This one made GHC 6.4 loop becuause Unify.unify
-- didn't deal correctly with unifying
-- a :=: Foo a
-- where
-- type Foo a = a
module ShouldSucceed where
newtype PRef a = PRef a
type Drop1 a = a
class Ref a r | a -> r where readRef :: a -> r
instance Ref (PRef a) (Drop1 a) where readRef (PRef v) = v
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