suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Updates history for v5.0.1 (merge to branch)

Browse Source 
(cherry picked from commit 56b74c0712)
This commit is contained in:
Casey Klein 2010-07-20 18:58:58 -05:00 committed by Eli Barzilay
parent 2332a96cd5
commit a1422cb73b
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/release-notes/redex/HISTORY.txt
View File

@ -1,9 +1,13 @@
v5.0.1
* changed the matching of `where' clauses in a
backwards-incompatible way. Previously, pattern variables bound by
a `where' left-hand side shadowed bindings from earlier clause's
a `where' left-hand side shadowed bindings from earlier clauses
and the case's left-hand side; now, `where' clauses match only
when their bindings match the existing ones.
* fixed minor bugs
v5.0
* added an optional term-equivalence predicate to the test--> and