Ticket #1900: GHC-Bug.hs

File GHC-Bug.hs, 262 bytes (added by h.holtmann, 7 years ago)
Line 
1{-# LANGUAGE TypeFamilies, FlexibleContexts #-}
2
3class (Eq (Depend s))=> Bug s where
4  type Depend s
5  trans :: Depend s -> Depend s
6 
7instance Bug Int where
8  type Depend Int = ()
9  trans = (+1)
10 
11check :: (Bug s) => Depend s -> Bool
12check d = d == trans d
13