Closed GoogleCodeExporter closed 9 years ago
Yes, of course you're right. Thanks for making the report and sorry for any
confusion it has caused.
I will add the renaming as soon as I am finished with another task.
Original comment by inkytonik
on 23 Jan 2014 at 10:58
Revision r7ac93e401530 fixes this problem by introducing fresh variables when
substituting inside lambda terms.
I have also added mention of this solution to the
[https://code.google.com/p/kiama/wiki/Lambda wiki page that describes this
example] which already mentioned Rose's Convention A.3 that required all
variables to be unique.
Thanks again for the report.
Original comment by inkytonik
on 3 Feb 2014 at 4:21
Original comment by inkytonik
on 9 May 2014 at 3:50
Original issue reported on code.google.com by
plm....@gmail.com
on 23 Jan 2014 at 9:49