Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003921OCamlIncomingpublic2005-12-13 05:092005-12-15 13:20
Reportersumii 
Assigned To 
PrioritylowSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
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: 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).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003439)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker