Browse thread
Locally-polymorphic exceptions [was: folding over a file]
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Daniel de Rauglaudre <daniel.de_rauglaudre@i...> |
| Subject: | Re: [Caml-list] Re: Locally-polymorphic exceptions [was: folding over a file] |
Hi, On Wed, Oct 03, 2007 at 02:19:56PM +0200, kirillkh wrote: > But then someone suggested using a second exception instead, which > is better performance-wise [...] Is that been checked ? And the two implementations tested ? What are the results, in time ? -- Daniel de Rauglaudre http://pauillac.inria.fr/~ddr/