[m-dev.] LambdaGoal as the name for introduced preds

[Tyson Richard DOWD]

Thomas Charles CONWAY wrote:
> Hi
> 
> Local preds/funcs get transformed into normal predicates/functions -
> 	...
> 	P = pred(...) :- ...
> 	...
> 
> leads to the introduction of a new predicate "LambdaGoal__N".
> 
> When reading the profile of a program containing lots of these,
> it can be very difficult/impossible to tell which goal in the
> source code each of the LambdaGoals corresponds to. If we put
> the source predicate name and/or the line number of the original
> goal, it would be easier to read the profile - especially if
> we improve the demangler. For example, instead of LambdaGoal__N,
> we might call the pred:
> 	IntroducedFrom__somepredicate__47__N
> which the demanger might demangle as
> 	pred goal defined in `somepredicate' on line 47
> 
> The `N' might be necessary if more than one pred goal is defined
> on a single line.
> 
> What do people think? Comments?

It might also be useful to use the variable name, eg P above.
Of course, sometimes these will be compiler generated, but you
can't have everything.

-- 
       Tyson Dowd           #          Another great idea from the 
                            #            people who brought you
      trd at .cs.mu.oz.au      #               Beer Milkshakes!
http://www.cs.mu.oz.au/~trd #	         Confidence --- Red Dwarf