At Fri, 9 Mar 2012 17:21:26 -0700, Matthew Flatt wrote:
> At Fri, 9 Mar 2012 15:58:11 -0700, Jay McCarthy wrote:
> > I just pushed...
> >
> > - module**
> >
> > Like module* but combines multiple occurrences of the same submodule
> > name into one module*
>> I like this direction --- and like everyone, I wish for a better name.
As you probably noticed, we're currently trying out `module+'.
I tried out several alternatives, including `submodule', `slice',
`facet', `segment', `section', `.section', `at-module', and even
`p.s.'; `module+' is the best so far. One big advantage of
`module+' is that it avoids inventing a new term, and I think `+' is
suggestive of combining multiple bodies into one.
Meanwhile, `(submod "..")' is now allowed as a shorthand for `(submod
"." "..")'.