From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA17788; Sat, 20 Jul 2002 15:46:05 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA17816 for caml-list@pauillac.inria.fr; Sat, 20 Jul 2002 15:46:04 +0200 (MET DST) 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 AAA25819 for ; Tue, 16 Jul 2002 00:44:35 +0200 (MET DST) Received: from swordfish.cs.caltech.edu (swordfish.cs.caltech.edu [131.215.44.124]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6FMiXj12556 for ; Tue, 16 Jul 2002 00:44:34 +0200 (MET DST) Received: from orchestra.cs.caltech.edu (orchestra.cs.caltech.edu [131.215.44.20]) by swordfish.cs.caltech.edu (Postfix) with ESMTP id 1CEF5DF25F; Mon, 15 Jul 2002 15:44:32 -0700 (PDT) Received: (from mvanier@localhost) by orchestra.cs.caltech.edu (8.11.6/8.9.3) id g6FMiWH12074; Mon, 15 Jul 2002 15:44:32 -0700 Date: Mon, 15 Jul 2002 15:44:32 -0700 Message-Id: <200207152244.g6FMiWH12074@orchestra.cs.caltech.edu> X-Authentication-Warning: orchestra.cs.caltech.edu: mvanier set sender to mvanier@cs.caltech.edu using -f From: Michael Vanier To: oleg_inconnu@myrealbox.com Cc: noelwelsh@yahoo.com, alex@baretta.com, caml-list@inria.fr In-reply-to: <200207152122.RAA06774@dewberry.cc.columbia.edu> (message from Oleg on Mon, 15 Jul 2002 17:22:35 -0400) Subject: Re: [Caml-list] Statically detecting arrays bound exceptions ?? (was: Universal Serializer) References: <20020715083931.29793.qmail@web11205.mail.yahoo.com> <200207152122.RAA06774@dewberry.cc.columbia.edu> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk http://www-staff.mcs.uts.edu.au/~cbj/FISh/ Mike > From: Oleg > Date: Mon, 15 Jul 2002 17:22:35 -0400 > > On Monday 15 July 2002 04:39 am, Noel Welsh wrote: > > FiSH (ask > > Google; I'm feeling lazy) > > Even Altavista doesn't support case-sensitive searches anymore. > > Oleg ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners