Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003921OCaml-OCaml generalpublic2005-12-13 05:092016-12-09 08:34
Assigned To 
PlatformOSOS Version
Product Version3.09.0 
Target VersionFixed in Version 
Summary0003921: structural equality for cyclic data structure cannot be interrupted
DescriptionIn 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: [^]

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).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
doligez (administrator)
2005-12-15 13:20

Maybe we could poll for signals, but there are subtleties.

- Issue History
Date Modified Username Field Change
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
2016-12-09 08:34 shinwell Category Incoming => OCaml general
2017-02-23 16:36 doligez Category OCaml general => -OCaml general

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker