Dear all, I would welcome some advice on getting better error messages when using read :: Read a => a The problem is, `readsPrec' (the class method) eats the longest feasible input prefix, but when I call `read' (built-in prelude function) on a string that does not parse, but that has a valid prefix, I get this:
Inter> readsPrec 0 "1 ) " :: [(Integer,String)] [(1," ) ")] Inter> read "1 )" :: Integer
Program error: Prelude.read: no parse
This is correct, but I would like to show (in the error message) the prefix that *was* parsed as well. If `read' was a class method, I could override it. (Compare class Show, where there is the method `showsPrec', but since H98 (?), `show' is a class method as well.) In my application, the type to parse is not Integer, but some expression type that might contain parentheses. Its Read instance uses the Parsec library, but I think this is irrelevant to the above question. Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- joe@informatik.uni-leipzig.de -- phone/fax (+49) 341 9732 204/207 --