From cd34760a3307839ef6bf08dce25a71fb87f41c97 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. --- .../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 0000000000..a530ebaacc --- /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)