github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 06:11:49 +03:00
Code Issues Projects Releases Wiki Activity

Kind of add the Eq instances

Browse Source
This commit is contained in:
joshvera 2018-03-22 19:28:06 -04:00
parent 53d6a5067d
commit 07baeca6be
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Analysis/Abstract/Evaluating.hs
View File

@ -158,6 +158,9 @@ resumeException m handle = raise (resumeError1 (lower m) (\yield -> lower . hand
data SomeExc exc where data SomeExc exc where
SomeExc :: exc v -> SomeExc exc SomeExc :: exc v -> SomeExc exc
instance Eq1 exc => Eq (SomeExc exc) where
(SomeExc exc1) == (SomeExc exc2) = liftEq (==) exc1 exc2
instance (Show1 exc) => Show (SomeExc exc) where instance (Show1 exc) => Show (SomeExc exc) where
showsPrec num (SomeExc exc) = liftShowsPrec (const (const id)) (const id) num exc showsPrec num (SomeExc exc) = liftShowsPrec (const (const id)) (const id) num exc

1
src/Data/Abstract/Evaluatable.hs
View File

@ -24,6 +24,7 @@ import Prologue
data Unspecialized a b where data Unspecialized a b where
Unspecialized :: { getUnspecialized :: Prelude.String } -> Unspecialized value value Unspecialized :: { getUnspecialized :: Prelude.String } -> Unspecialized value value
deriving instance Eq (Unspecialized a b)
deriving instance Show (Unspecialized a b) deriving instance Show (Unspecialized a b)
instance Show1 (Unspecialized a) where instance Show1 (Unspecialized a) where
liftShowsPrec _ _ = showsPrec liftShowsPrec _ _ = showsPrec