On Fri, Sep 17, 2010 at 11:52 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > On Fri, Sep 17, 2010 at 11:50 AM, Casey Klein > <clkl...@eecs.northwestern.edu> wrote: >> On Fri, Sep 17, 2010 at 11:39 AM, <ro...@racket-lang.org> wrote: >>> robby has updated `master' from c6fc7137ee to ce211ac364. >>> http://git.racket-lang.org/plt/c6fc7137ee..ce211ac364 >>> >>> =====[ 1 Commits ]====================================================== >>> >>> Directory summary: >>> 10.1% collects/redex/private/ >>> 83.2% collects/redex/tests/bmps-macosx/ >>> 6.6% collects/redex/tests/ >>> >>> ~~~~~~~~~~ >>> >>> ce211ac Robby Findler <ro...@racket-lang.org> 2010-09-17 11:39 >>> : >>> | adjusted metafunction application rendering so that ellipses do not >>> | get commas put in front of them >>> : >> >> FWIW, if I were typesetting this example by hand, I would have done it >> the old way >> >> rdups[| x_1, x_2, ..., x_1, x_3, ... |] >> >> not the new way >> >> rdups[| x_1, x_2 ..., x_1, x_3 ... |] >> >> but maybe I'm alone in that preference. > > I had thought that for a while, but some examples I'm working with > today get really confusing when you do that and just seem ugly. The > ellipses really isn't a separate item in the argument list; it is an > operator on the thing that comes before and the lack of a paren > emphasizes this properly. > > IMO. >
In that case, maybe there should be a parameter? (I'll be the one to add it if you want.) This rendering seems like a departure from convention. The first two books I pulled off my shelf (_Semantics of Programming Languages_ and _Invitation to Discrete Mathematics_) do it the old way. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
