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: 437 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Felix Terkhorn
Version: 3.01
OS: linux
Submission from: cc289733-a.spdwy1.in.home.com (24.11.107.212)
(* Not that I expect my computer to be able to find this number, but... *)
open Num
let _ = (Int max_int) **/ (Int max_int)
(* This produces a segfault. I expected it to raise Out_of_memory. I tested
it
in a toplevel and by compiling with
No problem. I know when I tested it, that I later found a couple of similar things (large numbers being raised to very large powers) which crashed it... so I don't think it was specific to just that instance. You probably have noted this already, since you have access to the workings of all that stuff internally, but in case you haven't -- here I've mentioned it. :)
Felix Terkhorn
(PS. I like OCaml.)
On Fri, Jul 20, 2001 at 04:17:37PM +0200, Damien Doligez wrote:
let _ = (Int max_int) **/ (Int max_int)
(* This produces a segfault. I expected it to raise Out_of_memory.
Thanks for the report. It is now fixed in the working version.
Original bug ID: 437
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Felix Terkhorn
Version: 3.01
OS: linux
Submission from: cc289733-a.spdwy1.in.home.com (24.11.107.212)
(* Not that I expect my computer to be able to find this number, but... *)
open Num
let _ = (Int max_int) **/ (Int max_int)
(* This produces a segfault. I expected it to raise Out_of_memory. I tested
it
in a toplevel and by compiling with
ocamlopt nums.cmxa -o whatever
Felix Terkhorn
--
'(felix-terkhorn . masterkh@indiana.edu)
The text was updated successfully, but these errors were encountered: