Check-in [950fc6d3d4]
Not logged in
Overview
SHA1 Hash:950fc6d3d46eff8bb919ab8c54a49aead94fb834
Date: 2010-11-27 23:28:33
User: kinaba
Comment: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...
Timelines: family | ancestors | descendants | both | trunk
Downloads: Tarball | ZIP archive
Other Links: files | file ages | manifest
Tags And Properties
Changes

Modified polemy/eval.d from [09f6f71388735bcb] to [271574033e4f3a71].    [diff]