0003921: structural equality for cyclic data structure cannot be interrupted

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003921

OCaml

Incoming

public

2005-12-13 05:09

2005-12-15 13:20

Reporter

sumii

Assigned To

Priority

low

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

3.09.0

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.

Attached Files

Relationships

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