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

fix some typos in a comment

Browse Source
This commit is contained in:
Robby Findler 2012-01-24 08:28:53 -06:00
parent d21e646327
commit 7cf563c4d9
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/redex/private/match-a-pattern.rkt
View File

@ -38,14 +38,14 @@ It might seem like it would turn into something like this:
(list (repeat (name any_1 any) ..._1 #f) (list (repeat (name any_1 any) ..._1 #f)
(repeat (name any_1 any) ..._2 #f)) (repeat (name any_1 any) ..._2 #f))
but the _1 and _2 are actually not right, since the x_1 name but the _1 and _2 are actually not as specific as they could be,
will force the two ellipses lengths to be the same. So, this since the any_1 name will force the two ellipses lengths to be
must turn into this pattern: the same. So, this must turn into this pattern:
(list (repeat (name any_1 any) ..._1 #f) (list (repeat (name any_1 any) ..._1 #f)
(repeat (name any_1 any) ..._1 #f)) (repeat (name any_1 any) ..._1 #f))
Similarly, if there are superflous names, they are delete. For Similarly, if there are superflous names, they are deleted. For
example, this source pattern: example, this source pattern:
(any_1 ..._1) (any_1 ..._1)