commit 4e3fc8fc9903dcd7d3e89b85dc83f979c6d1ad8b
parent dbc24e5e2a4b4bba8e407f1a833987176d9b929c
Author: Ryan Culpepper <ryanc@racket-lang.org>
Date: Mon, 30 Aug 2010 22:47:23 -0600
Merged changes to syntax/parse
Changed backtracking algorithm, runtime representations
- syntax classes, ~describe no longer implicitly commit
- ~describe no longer delimits effect of cut
Added keyword & optional args for stxclasses
Added ~do and #:do, ~post, ~commit and #:commit,
~delimit-cut and #:no-delimit-cut
Added syntax/parse/debug, syntax/parse/experimental/*
- expr/c for contracting macro sub-expressions
moved from syntax/parse to syntax/parse/experimental/contract
- syntax class reflection (~reflect, ~splicing-reflect)
- eh-alternative-sets (~eh-var)
- provide-syntax-class/contract
(only for params, not attrs so far)
Changed ~fail to not include POST progress (#:fail still does)
old (~fail _) is now (~post (~fail _))
Made msg argument of ~fail optional
Removed generic "repetition constraint violated" msg
Removed atom-in-list stxclass
Removed unnecessary datum->syntax on cdr of pair pattern
massive improvements to long-list microbenchmarks
Optimization: integrable syntax classes (id, expr, keyword)
need better measurements
Optimization: ad hoc elimination of head/tail choice point
for (EH ... . ()) patterns
Added unstable/wrapc (proc version of expr/c)
original commit: d7a87c79e0211071fecb8474e6f7f66317b089d4
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/collects/macro-debugger/model/reductions-engine.rkt b/collects/macro-debugger/model/reductions-engine.rkt
@@ -1,6 +1,7 @@
#lang racket/base
(require (for-syntax racket/base
- syntax/parse)
+ syntax/parse
+ syntax/parse/experimental/contract)
racket/list
racket/contract
"deriv.rkt"