From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA09076 for caml-redistribution; Tue, 25 Feb 1997 13:35:11 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA26081 for <caml-list@pauillac.inria.fr>; Mon, 24 Feb 1997 21:01:02 +0100 (MET)
Received: from vegemite.Stanford.EDU (vegemite.Stanford.EDU [171.65.76.158]) by concorde.inria.fr (8.7.6/8.7.3) with ESMTP id VAA13349 for <caml-list@pauillac.inria.fr>; Mon, 24 Feb 1997 21:01:00 +0100 (MET)
Received: (arc@localhost) by vegemite.Stanford.EDU (8.7.1/8.6.4) id MAA28634 for caml-list@pauillac.inria.fr; Mon, 24 Feb 1997 12:00:53 -0800 (PST)
Date: Mon, 24 Feb 1997 12:00:53 -0800 (PST)
From: Andrew Conway <arc@sequence.Stanford.EDU>
Message-Id: <199702242000.MAA28634@vegemite.Stanford.EDU>
To: caml-list@pauillac.inria.fr
Subject: Break
Sender: weis


Dear Caml community,

I would like to suggest a "new" standard exception: Pervasives.Break.

I frequently wish to break out of a "for" loop, when looking for
something, and want some exception designed for that purpose. Having
a standard one would make programs more standard, and reduce proliferation
of custom Break type exceptions.


[ En mauvais francais ]

Chers Utilisateurs de Caml,

Je voudrais vous proposer un exception nouveau : Pervasives.break.

Souvent je veux quitter "for ... do .. done", quand je cherche quelque
chose, et il faut definer un exception neuveau. S'il y avait un
exception commun, les logiciels serait plus facile a comprendre, et
il n'y aurait pas tellement des exceptions comme A.Break, B.Break,...

Amities,

Andrew.