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 SAA07058 for caml-redistribution; Wed, 1 Mar 2000 18:07:22 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id EAA10886 for ; Wed, 1 Mar 2000 04:44:12 +0100 (MET) Received: from ot-link.ot.com.au ([203.5.3.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id EAA03169 for ; Wed, 1 Mar 2000 04:43:48 +0100 (MET) Received: (qmail 9576 invoked from network); 1 Mar 2000 03:42:59 -0000 Received: from unknown (HELO druid.in.ot.com.au) (203.5.4.202) by 203.5.4.251 with SMTP; 1 Mar 2000 03:42:59 -0000 Received: (qmail 3724 invoked from network); 1 Mar 2000 03:42:48 -0000 Received: from merlin.in.ot.com.au (HELO in.ot.com.au) (203.5.4.26) by druid.in.ot.com.au with SMTP; 1 Mar 2000 03:42:48 -0000 Sender: weis Message-ID: <38BC9321.63DB8382@in.ot.com.au> Date: Wed, 01 Mar 2000 14:48:49 +1100 From: Max Skaller Organization: Open Telecommunications Ltd X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 CC: caml-list@inria.fr Subject: Nice feature References: <14518.34203.741447.637489@gargle.gargle.HOWL> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Just thought I'd say -- the new error diagnostic produced for missing cases from matches -- listing cases that are not tested for -- is superb. This is saving me a lot of time. Thanks! BTW: I'm about to find out about 'convincing management' to use ocaml. I'm working in a C++ shop (C++ is mandatory for much of the production code for reasons of both efficiency and binary compatibility), with the task of writing a code generator -- which will (probably) generate C++, but will (hopefully) be written in ocaml. [I tend to push people to breaking point though -- I'm also writing the code using my literate programming tool :-] -- John (Max) Skaller at OTT [Open Telecommications Ltd] mailto:maxs@in.ot.com.au -- at work mailto:skaller@maxtal.com.au -- at home