testsuite/tests/deSugar/should_compile/T8470.hs


1
2
3
4
5
6
7
8
9
10
11

{-# 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 ()