diff --git a/ac.rkt b/ac.rkt index 3cf56da2..f44c8a7d 100644 --- a/ac.rkt +++ b/ac.rkt @@ -1446,9 +1446,10 @@ Arc 3.2 documentation: https://arclanguage.github.io/ref. (define (trash-whitespace) - (when (and (char-ready?) (char-whitespace? (peek-char))) - (read-char) - (trash-whitespace))) + (with-handlers ([exn:fail:contract? (lambda (exn) (void))]) + (when (and (char-ready?) (char-whitespace? (peek-char))) + (read-char) + (trash-whitespace)))) (define (tl2 interactive?) (when interactive? (display "arc> "))