Opened 13 years ago

Closed 12 years ago

#651 closed defect (fixed)

loops needs contracts

Reported by: Mario Domenech Goulart Owned by: juergen
Priority: major Milestone:
Component: extensions Version: 4.7.x
Keywords: loops Cc:
Estimated difficulty:

Description

See ​http://tests.call-cc.org/master/linux/x86/2011/07/16/salmonella-report/loops.html

Change History (2)

comment:1 Changed 13 years ago by felix winkelmann

Milestone: 4.8.0

comment:2 Changed 12 years ago by sjamaan

Resolution: → fixed
Status: new → closed

Looks like this has been fixed in [24899] (it no longer uses contracts at all). ​http://tests.call-cc.org/master/linux/x86/2012/04/19/salmonella-report/install/loops.html

Note: See TracTickets for help on using tickets.