mirror of
https://github.com/github/semantic.git
synced 2024-12-11 08:45:48 +03:00
Drop the inj
prefix from Union’s Show1 instance.
This commit is contained in:
parent
fd8c5eacdc
commit
00b659b564
@ -111,7 +111,7 @@ instance Eq1 (Union '[]) where
|
||||
liftEq _ _ _ = False -- We can never get here anyway.
|
||||
|
||||
instance (Show1 f, Show1 (Union fs)) => Show1 (Union (f ': fs)) where
|
||||
liftShowsPrec sp sl d (Here f) = showsUnaryWith (liftShowsPrec sp sl) "inj" d f
|
||||
liftShowsPrec sp sl d (Here f) = liftShowsPrec sp sl d f
|
||||
liftShowsPrec sp sl d (There f) = liftShowsPrec sp sl d f
|
||||
|
||||
instance Show1 (Union '[]) where
|
||||
|
Loading…
Reference in New Issue
Block a user