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)])))