repositories
/
cc1516.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Improved error type with position annotation
[cc1516.git]
/
src
/
parse.icl
diff --git
a/src/parse.icl
b/src/parse.icl
index
bc93239
..
5fc8f8c
100644
(file)
--- a/
src/parse.icl
+++ b/
src/parse.icl
@@
-173,7
+173,7
@@
trans1 :: TokenValue a -> Parser Token a
trans1 t r = trans2 t $ const r
satTok :: TokenValue -> Parser Token Token
trans1 t r = trans2 t $ const r
satTok :: TokenValue -> Parser Token Token
-satTok t =
satisfy ((===) t
)
+satTok t =
top >>= \tok=:(pos, tv) -> if (t === tok) (return tok) (fail <?> ("Token", pos)
)
parseSepList :: TokenValue (Parser Token a) -> Parser Token [a]
parseSepList sep p =
parseSepList :: TokenValue (Parser Token a) -> Parser Token [a]
parseSepList sep p =