satTok :: TokenValue -> Parser Token Token
satTok t = top >>= \tok=:(pos1, pos2, tv) -> if (eq t tok)
(return tok)
- (fail <?> (printToString tv+++printToString t, pos1))
+ (fail <?> Unexpected (printToString tv) (pos1, pos2))
where
eq (IdentToken _) (_, _, IdentToken _) = True
eq (NumberToken _) (_, _, NumberToken _) = True