Commit f9f69e80 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #8470

parent 8ce3516b
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fwarn-unused-do-bind #-}
module T8470 where
data User
type family MethodResult ev
type instance MethodResult User = ()
type EventResult a = MethodResult a
foo = do undefined :: IO (EventResult User)
return ()
......@@ -102,3 +102,4 @@ test('T5252Take2',
['$MAKE -s --no-print-directory T5252Take2'])
test('T2431', normal, compile, ['-ddump-simpl -dsuppress-uniques'])
test('T7669', normal, compile, [''])
test('T8470', 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