From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 440C4BC88 for ; Sat, 5 Feb 2005 06:24:46 +0100 (CET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j155OiQL001255 for ; Sat, 5 Feb 2005 06:24:45 +0100 Received: from localhost (suiren [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.13.1/8.13.1) with ESMTP id j155OhLW002724 for ; Sat, 5 Feb 2005 14:24:43 +0900 (JST) Date: Sat, 05 Feb 2005 14:24:19 +0900 (JST) Message-Id: <20050205.142419.04057719.garrigue@math.nagoya-u.ac.jp> To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] The boon of static type checking From: Jacques Garrigue In-Reply-To: <83C27E32-76CE-11D9-866D-000D9345235C@inria.fr> References: <877e9a17050203185674680413@mail.gmail.com> <200502041026.56107.jon@jdh30.plus.com> <83C27E32-76CE-11D9-866D-000D9345235C@inria.fr> X-Mailer: Mew version 4.1.53 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at nez-perce with ID 4204589C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 damien:01 damien:01 wrote:01 o'caml:01 ocamlc:01 emacs:01 26,:98 doligez:01 doligez:01 jacques:01 jacques:01 checking:01 checking:01 inferred:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: From: Damien Doligez > On Feb 4, 2005, at 11:26, Jon Harrop wrote: > > > Also, it would be even easier to > > solve with an IDE which threw up the inferred types. > > O'Caml has it: > > ocamlc -dtypes > > and (in emacs) > > M-x caml-types-show-types Or open your source with OCamlBrowser. (Type checking is done by ocamlbrowser itself, and uses the same infrastructure as -dtypes; thanks Damien) Jacques Garrigue