Overlapping functionality: IFTI, templates, is-expressions

[BCS]

Russell Lewis wrote:

> 
> I don't know whether I *need* one...but it's a very fun exercise to 
> write one.  I have your svn repository checked out on my machine...but I 
> haven't delved deeping into it, yet.  From a cursory inspection, it 
> didn't seem like it fit my needs.  But I may be wrong. :)
> 

What do you need/want? Outside not having () groups, crashing on Left 
recursive grammars and a funky syntax for action rules, I think is 
fairly complete. I'm actually starting to work on it again and might be 
able to work in something if you need it.

> 
> 
> Certainly, we need (someday) a syntax to allow multiple tuples in the 
> same set of parameters, and that will require some sort of "grouping" 
> syntax for the instantiator.  And you can hack multiple-tuples using int 
> params if you require the instantiators to play nicely with you (the 
> first param is the length of the first tuple, the rest of the template 
> parameters are one big tuple, the concatenation of your two tuples).
> 
> But, at least for some cases (specialization) there is some low-hanging 
> fruit, such as:
> 

[...]

Those cases might be of use.