aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/Bug613.hs
blob: 3bdd0ac2889f3a628fd3668ab04788967c06e5b2 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
                            














                                                                                                                                   
{-# LANGUAGE Haskell2010 #-}
module Bug613  where

import Prelude (Either(Left, Right))

class Functor f where
  fmap :: (a -> b) -> f a -> f b

instance Functor (Either a) where
  fmap _ (Left x) = Left x
  fmap f (Right y) = Right (f y)

-- | Phantom type a0 is added to block the first renaming from a to a0. This ensures that the renamer doesn't create a new conflict
data ThreeVars a0 a b = ThreeVars a b

instance Functor (ThreeVars a0 a) where
  fmap f (ThreeVars a b) = ThreeVars a (f b)