Commit d80e23fa authored by simonpj's avatar simonpj
Browse files

Test for Trac #1746

parent 16ef48a6
......@@ -19,6 +19,7 @@ test('simpl015', only_ways(['opt']), compile, [''])
test('simpl016', normal, compile, [''])
test('simpl017', normal, compile, [''])
test('simpl018', normal, compile, [''])
test('simpl019', normal, compile, [''])
test('spec001', skip_if_fast, compile, [''])
test('spec002', normal, compile, [''])
......
{-# OPTIONS_GHC -fglasgow-exts -O2 #-}
-- See Trac #1746
module Foo where
data T a where T :: T a -> T [a]
class C a where
f :: a -> ()
instance C (T [a]) where
f (T x@(T _)) = f x
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