Commit 3dda4924 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7082

parent 436630fb
{-# LANGUAGE TypeFamilies #-}
module T7082 where
class R m where
type D m a :: *
type D m a = () -- (1)
f :: m a -> D m a -> ()
instance R Maybe where
-- type D Maybe a = () -- (2)
f = undefined
x = f (Nothing :: Maybe Int) ()
......@@ -195,3 +195,4 @@ test('T6152',
['$MAKE -s --no-print-directory T6152'])
test('T6088', normal, compile, [''])
test('T7082', 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