1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00

Define a Show instance for BindingF.

This commit is contained in:
Rob Rix 2017-09-10 21:52:30 -04:00
parent 831eb67de8
commit 8a41498ffd

View File

@ -37,7 +37,10 @@ instance (Eq1 f, Eq a) => Eq (BindingF f a) where
instance Show1 f => Show1 (BindingF f) where instance Show1 f => Show1 (BindingF f) where
liftShowsPrec sp sl d (Let vars body) = showsBinaryWith (const (liftShowList sp sl)) (liftShowsPrec sp sl) "Let" d vars body liftShowsPrec sp sl d (Let vars body) = showsBinaryWith (const (liftShowList sp sl)) (liftShowsPrec sp sl) "Let" d vars body
liftShowsPrec _ _ d (VarF var) = showsUnaryWith showsPrec "Var" d var liftShowsPrec _ _ d (VarF var) = showsUnaryWith showsPrec "Var" d var
instance (Show1 f, Show a) => Show (BindingF f a) where
showsPrec = showsPrec1
instance Pretty Metavar where instance Pretty Metavar where