www

commit 50f08886d180a28b66141211e7dc1291609eb5ea
parent 772a2f133700c158cc798434b6a8c2566e52a388
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Fri,  3 Mar 2017 16:20:16 -0500

rackunit-typechecking: add more esc chars

Diffstat:
M
turnstile/examples/tests/rackunit-typechecking.rkt
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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\\).+"