github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 04:41:47 +03:00
Code Issues Projects Releases Wiki Activity

Relax/remove some Ix constraints.

Browse Source
This commit is contained in:
Rob Rix 2017-08-14 13:49:39 -04:00
parent e97b3e6fc6
commit 41d5ec6065
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Syntax/Assignment.hs
View File

@ -295,7 +295,7 @@ makeState = State 0 (Info.Pos 1 1)
-- Instances
instance Ix grammar => Alternative (Assignment ast grammar) where
instance Eq grammar => Alternative (Assignment ast grammar) where
empty :: HasCallStack => Assignment ast grammar a
empty = Throw Nothing `Then` return
@ -336,7 +336,7 @@ instance Ix grammar => Alternative (Assignment ast grammar) where
many :: HasCallStack => Assignment ast grammar a -> Assignment ast grammar [a]
many a = Many a `Then` return
instance (Ix grammar, Show grammar) => Parsing (Assignment ast grammar) where
instance (Eq grammar, Show grammar) => Parsing (Assignment ast grammar) where
try :: HasCallStack => Assignment ast grammar a -> Assignment ast grammar a
try = id
@ -359,7 +359,7 @@ instance MonadError (Error (Either String grammar)) (Assignment ast grammar) whe
catchError :: HasCallStack => Assignment ast grammar a -> (Error (Either String grammar) -> Assignment ast grammar a) -> Assignment ast grammar a
catchError during handler = Catch during handler `Then` return
instance (Ix grammar, Show grammar) => Show1 (AssignmentF ast grammar) where
instance Show grammar => Show1 (AssignmentF ast grammar) where
liftShowsPrec sp sl d a = case a of
End -> showString "End" . showChar ' ' . sp d ()
Location -> showString "Location" . sp d (Info.Range 0 0 :. Info.Span (Info.Pos 1 1) (Info.Pos 1 1) :. Nil)