0000787: Feature wish: Event.timeout

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000787

OCaml

OCaml general

public

2002-01-09 11:53

2002-11-13 17:06

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000787: Feature wish: Event.timeout

Description

La fonction suivante me serait extrêmement utile :

Event.timeout : float -> 'a -> 'a event

Avec le fonctionnement suivant : l'évènement (Event.timeout heure
constante) bloque s'il est sélectionné avant heure (au sens
d'Unix.gettimeofday), et retourne immédiatement constante après.

Voilà. Merci encore pour cet excellent langage, et bonne année.

----------------
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.5 (SunOS)
Comment: Pour information voir http://www.gnupg.org [^]

iD8DBQE8PCEusGPZlzblTJMRAoQ9AJ4s8nJ6tA/KBz4KW7hSX0bHmae6MgCgl/89
0+ChNVdRXImUtosgkG+ke90=
=mrSJ
-----END PGP SIGNATURE-----

----------------
----------------

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:13	administrator	New Issue

Notes
(0000122) administrator (administrator) 2002-11-13 17:06	Really hard to implement.

Relationships