Re: concur

[Kohsuke KAWAGUCHI <kohsuke.kawaguchi@eng.sun.com>]

> - I think people will want to layer type assignment on top of TREX. 
> It's hard to make type assignment work for concur.

It's not completely right. When one does type assignment, one can simply
concentrate on reporting types of one branch, and forgets about the
others.

In fact when <concur> is used for exclusion, this strategy works fine.


> - It's quite tricky to implement (especially getting coherent error
> messages).

<concur> is not the only one.
<interleave> also severely restricts applicable algorithms.
Automaton-based implementation will be impossible due to <interleave>.


regards,
----------------------
K.Kawaguchi
E-Mail: k-kawa@bigfoot.com