novalazy at gmail.com
Tue Sep 16 12:05:25 AEST 2014
On Mon, 15 Sep 2014 16:23:07 +1000, Mark Brown <mark at mercurylang.org> wrote:
> On Mon, Sep 15, 2014 at 3:46 PM, Peter Wang <novalazy at gmail.com> wrote:
> > Is it fair to think of each if-then branch declaring something like an
> > anonymous nested sub-module, with forwarding of predicates and types
> > from the parent module to the sub-module?
> Exactly. That was the motivation for the syntax, too.
Hmm, it should be possible to qualify names within a branch,
but if "branch sub-modules" are unnamed then it's a bit hard to do.
More information about the developers