You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4083 Reporter: mgiovann Status: closed (set by @xavierleroy on 2006-08-19T07:46:37Z) Resolution: not a bug Priority: normal Severity: minor Version: 3.09.2 Category: ~DO NOT USE (was: OCaml general)
Bug description
It seems that Nat.mult_nat and Nat.square_nat fills the higher digits of the product with garbage, but depending on the nesting depth of the calling function.
Additional information
I attach a simple test case I verified on Mac OS X 10.4.7 (running on a PPC 750), and on Windows XP (running on a Celeron).
Please disregard. I apologize for the waste of time I might have caused, but looking at the attached code "sideways and squinting a little", I noticed a bug in it that has nothing to do with Nat.
Original bug ID: 4083
Reporter: mgiovann
Status: closed (set by @xavierleroy on 2006-08-19T07:46:37Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 3.09.2
Category: ~DO NOT USE (was: OCaml general)
Bug description
It seems that Nat.mult_nat and Nat.square_nat fills the higher digits of the product with garbage, but depending on the nesting depth of the calling function.
Additional information
I attach a simple test case I verified on Mac OS X 10.4.7 (running on a PPC 750), and on Windows XP (running on a Celeron).
File attachments
The text was updated successfully, but these errors were encountered: