DecodeShort, DecodeError

2019-08-22 11:24:51 +01:00 · 2019-08-22 11:24:51 +01:00 · aac73efd3a
parent 36c5d92b73
commit aac73efd3a
1 changed files with 4 additions and 0 deletions
--- 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)])))