Re: [proto] : Proto transform with state

2010-12-07 Thread Eric Niebler
On 12/6/2010 4:50 PM, Thomas Heller wrote: Eric Niebler wrote: I played with the let transform idea over the weekend. It *may* be possible to accomplish without the two problems I described above. See the attached let transform (needs latest Proto trunk). I'm also attaching the Renumber

Re: [proto] : Proto transform with state

2010-12-07 Thread Thomas Heller
Eric Niebler wrote: On 12/6/2010 4:50 PM, Thomas Heller wrote: Eric Niebler wrote: I played with the let transform idea over the weekend. It *may* be possible to accomplish without the two problems I described above. See the attached let transform (needs latest Proto trunk). I'm also

Re: [proto] grammars, domains and subdomains

2010-12-07 Thread Eric Niebler
On 12/7/2010 2:37 PM, Thomas Heller wrote: Hi, I have been trying to extend a domain by subdomaining it. The sole purpose of this subdomain was to allow another type of terminal expression. Please see the attached code, which is a very simplified version of what I was trying to do. snip

Re: [proto] : Proto transform with state

2010-12-07 Thread Thomas Heller
Eric Niebler wrote: On 12/7/2010 3:13 PM, Thomas Heller wrote: Eric Niebler wrote: Now they do: T()(e,s,d). Inside T::impl, D had better be the type of d. Nowhere does the _data transform appear in this code, so changing _data to be smart about environments and scopes won't save you if

Re: [proto] grammars, domains and subdomains

2010-12-07 Thread Thomas Heller
Eric Niebler wrote: On 12/7/2010 2:37 PM, Thomas Heller wrote: Hi, I have been trying to extend a domain by subdomaining it. The sole purpose of this subdomain was to allow another type of terminal expression. Please see the attached code, which is a very simplified version of what I