From aac73efd3a871fc0daeafb439323d2dd56ea0a21 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 22 Aug 2019 11:24:51 +0100 Subject: [PATCH] DecodeShort, DecodeError --- implementations/racket/preserves/main.rkt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/implementations/racket/preserves/main.rkt b/implementations/racket/preserves/main.rkt index 1e59ec3..c52c01a 100644 --- a/implementations/racket/preserves/main.rkt +++ b/implementations/racket/preserves/main.rkt @@ -1028,6 +1028,10 @@ (lambda (e) (fail-test "Unexpected exception: ~e" e)))] (string->preserve str) (fail-test "Unexpected success"))] + [`#s(DecodeShort ,(strip-annotations bs)) + (check-eq? (d bs) 'short loc)] + [`#s(DecodeError ,(strip-annotations bs)) + (check-eq? (d bs) (void) loc)] [_ (write-preserve t* #:indent #f) (newline)])))