From 8a0e9249fff163079bc6d4ea1b8f7db53e022c42 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 30 Jun 2011 14:21:52 -0400 Subject: [PATCH] Add a test case for struct-based match expanders. Closes PR11617. Using the taint system, the bug is fixed. original commit: cd34760a3307839ef6bf08dce25a71fb87f41c97 --- .../tests/typed-scheme/succeed/pr11617.rkt | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/pr11617.rkt diff --git a/collects/tests/typed-scheme/succeed/pr11617.rkt b/collects/tests/typed-scheme/succeed/pr11617.rkt new file mode 100644 index 00000000..a530ebaa --- /dev/null +++ b/collects/tests/typed-scheme/succeed/pr11617.rkt @@ -0,0 +1,19 @@ +#lang racket/load + +(module A typed/racket + (provide (all-defined-out)) + (struct: one ([thing : Any])) + (define-match-expander uno + (syntax-rules () + [(_ x) (one x)])) + (match (one 2) + [(uno dos) dos])) + +(require 'A) + +(module B typed/racket + (require 'A) + (match (one 2) + [(uno dos) dos])) + +(require 'B)