testsuite/tests/typecheck/should_fail/T5684d.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# OPTIONS -XFunctionalDependencies -XUndecidableInstances -XFlexibleInstances #-}

module T5684 where

class B a b | a -> b where
  op :: a -> b -> ()

class A a | -> a

instance A b => B Bool b

flop4 =  [ op 'c' undefined
         , op False False
         , op True undefined
         ]