Re: [Jason-bugs] Fw: Anonymous variables are not renamed correctly. (public repost)

[Tim C. <tim...@ya...>]

Jomi,

Having sent you my updated patch I returned to my personal project. However, it seems that your solution isn't sufficient for my needs. I had figured that my simplified example was sufficient to capture the entire issue. It wasn't. Here is another simple demonstration of insufficient anonymous variable renaming that my project necessitates. I hope this test case captures all my needs so you don't have to reopen this bug again. I am trying to avoid sending my actual project code as its complexity hides the real issues.

wrap([], _).
wrap([_ | Rest], Result) :- wrap(Rest, Temp) & Result = wrapped(_, Temp).

!test.

!test : wrap([1, 2, 3], Result) & Result = wrapped(1, wrapped(2, wrapped(3, 4))) <- .print("ok").

Similar to last time, each anonymous variable in wrapped(_, Temp) should be unique. Unfortunately it seems your fix does not provide this. The patch sent in my previous email does. Perhaps it can be adapted to work with your fix?

regards,
Tim


      __________________________________________________________________________________
See what's on at the movies in your area. Find out now: http://au.movies.yahoo.com/session-times/