Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000787OCamlOCaml generalpublic2002-01-09 11:532002-11-13 17:06
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000787: Feature wish: Event.timeout
DescriptionLa 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-----

----------------
----------------
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000122)
administrator (administrator)
2002-11-13 17:06

Really hard to implement.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker