Open GoogleCodeExporter opened 8 years ago
I've had a stab at implementing the guarded fixpoint construction, and
succeeded for Desc, but IDesc doesn't seem to want to cooperate. One of the
eliminations fails but I have no idea why (printing the error message is too
painful). The mutual recursion with helper functions is made more difficult
because you cannot write labelled types (with fake out-of-scope references) in
Cochon.
http://www.e-pig.org/darcsweb/darcsweb?r=Pig09;a=commit;h=20100916141532-e29d1-e
6d73133d07f6202c43ad1cee83cc267d3f53246.gz
Original comment by adamgundry
on 16 Sep 2010 at 2:47
Original issue reported on code.google.com by
co...@strictlypositive.org
on 14 Sep 2010 at 12:56