Merge pull request #228 from montyanderson/handle-trash-whitespace-er…

…rors `ac.rkt`: handle `trash-whitespace` errors – fixes #60 + #199
arclanguage · May 20, 2024 · 50c8716 · 50c8716
2 parents e49b1bf + dc93a7c
commit 50c8716
Showing 1 changed file with 4 additions and 3 deletions.
diff --git 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> "))