On 18/12/13 14:56, Bill Richter wrote: > I tried something like this when you first posted, but I didn't think to use > dest_comb. Do you have any general tips on how to recognize a term as say a > combination (which worked here) on an abstraction (not here)?
Try using a match-expression:
match tm with
Var(_,_) -> "it's a var"
| Const(_,_) -> "it's a const"
| Comb(_,_) -> "it's an application"
| Abs(_,_) -> "it's an abstraction"
You can also use the helper functions is_comb, is_abs, is_const, and is_var.
Michael
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Rapidly troubleshoot problems before they affect your business. Most IT organizations don't have a clear picture of how application performance affects their revenue. With AppDynamics, you get 100% visibility into your Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro! http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
