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

added pattech annotation to side-condition

Browse Source 
svn: r11579
This commit is contained in:
John Clements 2008-09-08 22:06:00 +00:00
parent 402697e2d4
commit 81d31e973e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/redex/redex.scrbl
View File

@ -645,7 +645,7 @@ determine the number of variables generated and var2 must be
bound by the left-hand side of the rule. bound by the left-hand side of the rule.
The side-conditions are expected to all hold, and have the The side-conditions are expected to all hold, and have the
format of the second argument to the side-condition pattern, format of the second argument to the @pattech[side-condition] pattern,
described above. described above.
Each @scheme[where] clauses binds a variable and the side-conditions Each @scheme[where] clauses binds a variable and the side-conditions