From f7fff58de61e3d804d5ce6e7929196efbe5946f1 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Fri, 22 Apr 2016 10:59:40 -0400 Subject: [PATCH] syntax/parse: test different post groups are incomparable --- pkgs/racket-test/tests/stxparse/select.rkt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/pkgs/racket-test/tests/stxparse/select.rkt b/pkgs/racket-test/tests/stxparse/select.rkt index 47de7f6cba..927f2134b2 100644 --- a/pkgs/racket-test/tests/stxparse/select.rkt +++ b/pkgs/racket-test/tests/stxparse/select.rkt @@ -281,3 +281,17 @@ #:fail-when (and (< (syntax->datum #'z) 10) #'z) "unhappy about last number" 'ok])))) + +(test-case "side-clauses in different stxclasses don't compare" + (check-exn #rx"message1 or message2" + (lambda () + (syntax-parse #'(1 2 3 4) + [(x:nat ...) + #:with (y ... z) #'(x ...) + #:fail-unless #f "message1" ;; (post 'g1 2) + 'ok] + [(x:nat ...) + #:with (y ... z) #'(x ...) + #:with w #'whatever + #:fail-unless #f "message2" ;; (post 'g2 3), incomp w/ above + 'ok]))))