diff --git a/turnstile/examples/tests/rackunit-typechecking.rkt b/turnstile/examples/tests/rackunit-typechecking.rkt index 86c70c2..0baac72 100644 --- a/turnstile/examples/tests/rackunit-typechecking.rkt +++ b/turnstile/examples/tests/rackunit-typechecking.rkt @@ -6,12 +6,12 @@ (begin-for-syntax (define (add-esc s) (string-append "\\" s)) - (define escs (map add-esc '("(" ")" "[" "]"))) + (define escs (map add-esc '("(" ")" "[" "]" "+" "*"))) (define (replace-brackets str) (regexp-replace* "\\]" (regexp-replace* "\\[" str "(") ")")) (define (add-escs str) (replace-brackets - (foldl (lambda (c s) (regexp-replace* c s (add-esc c))) str escs))) + (foldl (lambda (c s) (regexp-replace* c s (add-esc c))) str escs))) (define (expected tys #:given [givens ""] #:note [note ""]) (string-append note ".*Expected.+argument\\(s\\) with type\\(s\\).+"