Timeline
Not logged in

Parents and children of check-in [005474ba5b]

2010-11-27
23:28
[950fc6d3d4] no. lift _|_ for corecursion checking again. Current choices is, if it failed we instead assing _|_ itself. Maybe the better choice is to give up memoization when it failed to lift... (user: kinaba, tags: trunk)

23:23
[005474ba5b] changed: not to lift _|_ (user: kinaba, tags: trunk)

21:49
[a795c97dc3] changed Let.init to Let.vdef. IT IS VERY DANGEROUS TO USE .init MEMBER NAME in D!!!!!!!! (user: kinaba, tags: trunk)