|Anonymous | Login | Signup for a new account||2015-03-01 21:56 CET|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0003921||OCaml||Incoming||public||2005-12-13 05:09||2005-12-15 13:20|
|Target Version||Fixed in Version|
|Summary||0003921: structural equality for cyclic data structure cannot be interrupted|
|Description||In the interactive toplevel of ocaml, the "infinite loop"|
let rec x = 1 :: x in x = x
cannot be interrupted by Ctrl-C _despite_ the following paragraph in
Chapter 9 of the manual:
> At any point, the parsing, compilation or evaluation of the current
> phrase can be interrupted by pressing ctrl-C (or, more precisely, by
> sending the INTR signal to the ocaml process). The toplevel then
> immediately returns to the # prompt.
The problem reproduces on any UNIX system to which I have access.
See also: http://caml.inria.fr/pub/ml-archives/caml-list/2005/12/c270081cc11641447bc76557d0f1dabe.en.html [^]
By the way, the behavior of *not* checking == first in = seems to have been adopted in recent versions of ocaml, but its implications are not quite well-documented in the "Changes" file (though the manual seems to be up to date).
|Tags||No tags attached.|
Maybe we could poll for signals, but there are subtleties.
|2005-12-13 05:09||sumii||New Issue|
|2005-12-15 13:20||doligez||Note Added: 0003439|
|2005-12-15 13:20||doligez||Priority||normal => low|
|2005-12-15 13:20||doligez||Severity||minor => feature|
|2005-12-15 13:20||doligez||Status||new => acknowledged|
|Copyright © 2000 - 2011 MantisBT Group|