27 Apr
2008
27 Apr
'08
9:56 p.m.
On 04/27/08 06:01, Larry Evans wrote: [snip]
On case where this would be Should read "one use case" useful is for algebraic morphisms where n-ary ops in a source algebra are mapped to n-ary ops in a target algebra. This *includes* 0-ary ops. An op would be the equivalent to proto tags. I think this could be done by another transform similar to the pass_through transform but allowing transformation of the tag. [snip] The attached compiles and runs an does this algebraic type morphism. Maybe one thing about the attachment is that it requires proto::expr CTOR's to be specialized to allow the mapping. Also, I'm wondering whether using something other than tag::terminal for 0-ary args, i.e. args0, will lead to problems.