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

Define notFollowedBy.

Browse Source
This commit is contained in:
Rob Rix 2017-08-06 11:51:50 -04:00
parent fcc65d3a3e
commit 99ac5d4486
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -370,7 +370,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 => Parsing (Assignment ast grammar) where
instance (Ix grammar, Show grammar) => Parsing (Assignment ast grammar) where
try = id
(<?>) = const
@ -380,7 +380,7 @@ instance Ix grammar => Parsing (Assignment ast grammar) where
eof :: HasCallStack => Assignment ast grammar ()
eof = withFrozenCallStack $ End `Then` return
notFollowedBy = const (pure ())
notFollowedBy a = a *> unexpected (show a) <|> pure ()
instance MonadError (Error grammar) (Assignment ast grammar) where
throwError :: HasCallStack => Error grammar -> Assignment ast grammar a