github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-15 01:51:39 +03:00
Code Issues Projects Releases Wiki Activity

Add missing cases to ScopeError’s Eq1 instance.

Browse Source 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
This commit is contained in:
Rob Rix 2018-12-06 12:58:48 -05:00
parent f95b06a3b4
commit 87a4f2574b
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Control/Abstract/ScopeGraph.hs
View File

@ -247,11 +247,13 @@ deriving instance Eq (ScopeError address return)
deriving instance Show (ScopeError address return) deriving instance Show (ScopeError address return)
instance Show address => Show1 (ScopeError address) where liftShowsPrec _ _ = showsPrec instance Show address => Show1 (ScopeError address) where liftShowsPrec _ _ = showsPrec
instance Eq1 (ScopeError address) where instance Eq1 (ScopeError address) where
liftEq _ (ScopeError m1 n1) (ScopeError m2 n2) = m1 == m2 && n1 == n2 liftEq _ (ScopeError m1 n1) (ScopeError m2 n2) = m1 == m2 && n1 == n2
liftEq _ CurrentScopeError CurrentScopeError = True liftEq _ LookupScopeError LookupScopeError = True
liftEq _ LookupScopeError LookupScopeError = True liftEq _ ImportReferenceError ImportReferenceError = True
liftEq _ (LookupPathError decl1) (LookupPathError decl2) = decl1 == decl2 liftEq _ (LookupPathError decl1) (LookupPathError decl2) = decl1 == decl2
liftEq _ _ _ = False liftEq _ (LookupDeclarationScopeError decl1) (LookupDeclarationScopeError decl2) = decl1 == decl2
liftEq _ CurrentScopeError CurrentScopeError = True
liftEq _ _ _ = False
alloc :: (Member (Allocator address) sig, Carrier sig m) => Name -> Evaluator term address value m address alloc :: (Member (Allocator address) sig, Carrier sig m) => Name -> Evaluator term address value m address
alloc = send . flip Alloc ret alloc = send . flip Alloc ret