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 LAA25034 for caml-redistribution; Fri, 24 Jan 1997 11:48:09 +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 DAA18990 for ; Fri, 24 Jan 1997 03:52:21 +0100 (MET) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id DAA29767 for ; Fri, 24 Jan 1997 03:52:16 +0100 (MET) Received: from orion.kurims.kyoto-u.ac.jp (orion.kurims.kyoto-u.ac.jp [130.54.16.5]) by kurims.kurims.kyoto-u.ac.jp (8.8.4/3.4W2) with SMTP id LAA04097 for ; Fri, 24 Jan 1997 11:51:51 +0900 (JST) Received: (from garrigue@localhost) by orion.kurims.kyoto-u.ac.jp (SMI-8.6/3.5Wbeta) id LAA23186; Fri, 24 Jan 1997 11:51:51 +0900 Date: Fri, 24 Jan 1997 11:51:51 +0900 Message-Id: <199701240251.LAA23186@orion.kurims.kyoto-u.ac.jp> From: Jacques GARRIGUE To: caml-list@inria.fr In-reply-to: <199701231418.XAA00607@sparc3.co.jp> (message from Frank Christoph on Thu, 23 Jan 1997 23:18:19 +0900) Subject: Re: ergonomie du compilateur Sender: weis >>>>> " " == Frank Christoph writes: > I once suggested a related feature to Alastair Reid, but for > Haskell program editors. I thought it would be useful if the user > could click on an identifier and have the type displayed. This can > be more useful in Haskell than in ML because of type classes and > the extended inference algorithm. I think he told me that, in an > old release of the Yale Haskell system (when they were still using > LISP as a backend!), something of the sort was once possible but > Yale has sinced scrapped that implementation. This is exactly what is possible with LablBrowser for O'Labl ! (Or OCamlBrowser for O'Caml) You load a file in the editor, typecheck it, and then you can see the type of any identifier, expression or pattern, by just clicking on it. If typecheck fails, you can see types for all expressions preceding the one that caused the error. -- --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue@kurims.kyoto-u.ac.jp JG