It doesn't seem to matter how I set up the evaluator (using
`make-base-eval' or `make-evaluator'). If an example fails to typecheck,
it looks like an ugly documentation error. This is an actual example in
the math docs, which I would really like to keep:
> (flabs (exact->inexact 0.5f0))
eval:8:0: Type Checker: Expected Flonum, but got
Positive-Single-Flonum
in: (#%app exact->inexact (quote 0.5f0))
I want the error to look like it does in the REPL:
Type Checker: Expected Flonum, but got Positive-Single-Flonum
in: (exact->inexact 0.5f0)
It seems all syntax errors are fugly:
> (cond [else 1.0] [else 2.0])
eval:11:0: cond: bad syntax (`else' clause must be last)
at: (else 1.0)
in: (cond (else 1.0) (else 2.0))
How can I fix this?
Neil ⊥
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
