From e8beac29cfcede3dd047bab74bd35a89973caa6b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 2 Jan 2012 03:36:19 -0600 Subject: [PATCH] added notes for recent redex changes --- doc/release-notes/redex/HISTORY.txt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index ac5c8fa329..77170baead 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,8 +1,17 @@ v5.2.1 + * rewrote the internals of the pattern matcher to be more consistent + (centralized more error checking, moving more of it to compile + time, and various other internal cleanups). + + * improved the way caching works so it uses about 1/5th memory and + speeds up the R6RS test suite by a factor of 2. + * added support for side-conditions and where clauses to define-relation + * added the List-machine benchmark (by Appel, Dockins & Leroy) + v5.2 * added define-judgment-form form