From 4d73ab6d698334de2d923c4f7346aff7e41598bd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 22 Aug 2019 15:31:58 +0100 Subject: [PATCH] Fix DecodeError runner --- implementations/racket/preserves/main.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt index c52c01a..46bf6d6 100644 --- a/implementations/racket/preserves/main.rkt +++ b/implementations/racket/preserves/main.rkt @@ -1031,7 +1031,7 @@ [`#s(DecodeShort ,(strip-annotations bs)) (check-eq? (d bs) 'short loc)] [`#s(DecodeError ,(strip-annotations bs)) - (check-eq? (d bs) (void) loc)] + (check-true (void? (d bs)) loc)] [_ (write-preserve t* #:indent #f) (newline)])))