From e6b8f993162af9da60d1f5727765b190f83e2100 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 16 Jul 2018 20:29:21 -0700 Subject: [PATCH] suppress source info in errors when it doesn't exist --- brag/private/internal-support.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/brag/private/internal-support.rkt b/brag/private/internal-support.rkt index 0beec3e..404cf98 100755 --- a/brag/private/internal-support.rkt +++ b/brag/private/internal-support.rkt @@ -27,10 +27,10 @@ (make-parameter (lambda (tok-type tok-value offset line column span) (raise (exn:fail:parsing - (format "Encountered unexpected token ~e (~e) while parsing ~e [line=~a, column=~a, offset=~a]" - tok-type - tok-value - (current-source) - line column offset) + (string-append + (format "Encountered unexpected token ~e (~e) while parsing" tok-type tok-value) + (if (or (current-source) line column offset) + (format " ~e [line=~a, column=~a, offset=~a]" (current-source) line column offset) + "")) (current-continuation-marks) (list (srcloc (current-source) line column offset span)))))))