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

svn: r15518

Browse Source
This commit is contained in:
Robby Findler 2009-07-21 13:17:13 +00:00
parent 544c7928dc
commit 4384eb741c
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,7 +1,15 @@
v4.2.1
* improved 'where' conditions in metafunctions and reduction-relations
so that they work with Redex's full pattern language.
* improved 'where' conditions in metafunctions and
reduction-relations so that they work with Redex's full pattern
language.
This is a backwards incompatible change. In old versions,
variables used in a where clause were independent of the pattern
language. Now, if the variable in a where clause is a literal in
the grammar, the result of the where clause must be that
literal. Similarly, if the variable is a non-terminal, the result
must match that non-terminal.
* added 'define-relation'