Commit a0d99928 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7641

parent 455fbadf
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module T7641 where
data Foo b = Foo deriving Show
class ToFoo a b where
toFoo :: a -> Foo b
instance ToFoo (c -> ()) b where
toFoo _ = Foo
baz () = toFoo $ \_ -> ()
......@@ -397,3 +397,4 @@ test('T7408', normal, compile, [''])
test('UnboxStrictPrimitiveFields', normal, compile, [''])
test('T7541', normal, compile, [''])
test('T7562', normal, compile, [''])
test('T7641', normal, compile, [''])
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