On 2015-01-15 14:13:02 -0500, Asumu Takikawa wrote: > Contract violation: 'fact' violates '>='. > Value > 0.105 > violates predicate > real? > An example module that breaks it: > (module user racket (require (submod ".." fact)) (factorial 0.105)) > (Verification takes 0.05s)
Hmm, actually I should've looked at this more carefully. Is this a case where the tool is telling me that the function is non-terminating on this input? Cheers, Asumu _________________________ Racket Developers list: http://lists.racket-lang.org/dev
