search

mwleeds / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Mysterious seekLabel deficiency/ies #72

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
In NiceInductionPrinciple.pig, there is this question:

"Why doesn't recursion spotting work if these holes are substituted out?"

And that's an excellent question.

This is probably related to 
[http://code.google.com/p/epigram/issues/detail?id=70].

Original issue reported on code.google.com by pedag...@gmail.com on 1 Sep 2010 at 10:16

GoogleCodeExporter commented 9 years ago 
This was just my inability to use the correct syntax for function application 
in lists. Recall that [a b] is a (right-nested) list of two elements, rather 
than a single element (a applied to b), which is written [(a b)]. If you write 
the term correctly, recursion spotting works fine in this case. Closing this 
issue as #70 covers the more general problem with recursion spotting.

http://www.e-pig.org/darcsweb/darcsweb?r=Pig09;a=commit;h=20100903081417-e29d1-d
fde111c76d22064fe3729e8368f2b2dfdeffa34.gz

Original comment by adamgundry on 3 Sep 2010 at 8:19