From: Matthew Flatt (mflatt at cs.utah.edu) Date: Fri Feb 15 18:01:44 EST 2013 |
|
At Fri, 15 Feb 2013 17:52:59 +0100, heraklea at gmx.de wrote: > the maximum number for the range is internally not accepted. When I enter > 100000 in my loops textfield(see attached gui app) I get an > > set-value in gauge%: contract violation > expected: (integer-in 0 10000) > given: 10001 > That is a bug. I've fixed it in the current sources so that the implementation matches the documentation.
Posted on the users mailing list. |
|