From 7949ede5d55b192d9916fc701fcab6e95152a1ef Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 9 Jan 2012 12:17:48 -0600
Subject: [PATCH] removed ambiguity from the cont-mark-transform's "a"
 non-terminal

Redex no longer has extra checks to eliminate redundant matches
(as those checks are prohibitively expensive for the lambdajs model)
so redundancy in the grammar can, when combined with context
decomposition or named patterns, lead to significant slowdowns
(cherry picked from commit 0c6e0a11cfe876ad2f447e3a1043d03f9f8deef8)
---
 collects/redex/examples/cont-mark-transform/SL-syntax.rkt | 2 ++
 collects/redex/examples/cont-mark-transform/TL-syntax.rkt | 7 ++++++-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/collects/redex/examples/cont-mark-transform/SL-syntax.rkt b/collects/redex/examples/cont-mark-transform/SL-syntax.rkt
index 8c1fad5977..b40fdff2b1 100644
--- a/collects/redex/examples/cont-mark-transform/SL-syntax.rkt
+++ b/collects/redex/examples/cont-mark-transform/SL-syntax.rkt
@@ -9,6 +9,8 @@
      (call/cc w))
   (v ....
      (κ (hide-hole E)))
+  (a ....
+     (κ (hide-hole E)))
   
   (D (w-c-m v v D)
      hole
diff --git a/collects/redex/examples/cont-mark-transform/TL-syntax.rkt b/collects/redex/examples/cont-mark-transform/TL-syntax.rkt
index bd036956e0..767bed49fb 100644
--- a/collects/redex/examples/cont-mark-transform/TL-syntax.rkt
+++ b/collects/redex/examples/cont-mark-transform/TL-syntax.rkt
@@ -13,7 +13,9 @@
      (abort e))
   
   (l [(K x ...) e])
-  (a w 
+  (a (λ (x ...) e)
+     σ
+     x
      (K a ...))
   (w v
      x)
@@ -28,3 +30,6 @@
      (Σ [σ ↦ v]))
   
   (K string))
+
+
+