Subject: Re: [proto] : How to use complex grammars in a domain/extension
From: Thomas Heller (thom.heller_at_[hidden])
Date: 2010-09-22 13:09:01
On Wednesday 22 September 2010 15:40:37 Eric Niebler wrote:
> Right, there's potentially a problem in Proto here. If RHS and LHS are
> in different domains, a common super-domain is deduced first, and then
> Proto checks to see if the LHS and RHS conform to that common domain.
> That doesn't seem right. Can you open a ticket?
Done. With this fix proposed:
Enable the binary operator iff:
1) Both, LHS and RHS expression have the same super domain (that is probably
whenever domain deduction was successful)
2) LHS matches the grammar for the domain of LHS (not the super domain)
2) RHS matches the grammar for the domain of RHS (not the super domain)
3) resulting expression matches grammar in the super domain.
Proto list run by eric at boostpro.com