From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 60AD9BC0A for ; Wed, 16 May 2007 11:33:29 +0200 (CEST) Received: from www391.sakura.ne.jp (www391.sakura.ne.jp [59.106.13.21]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4G9XQnO018868 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 16 May 2007 11:33:28 +0200 Received: from chopin.score.cs.tsukuba.ac.jp (wlan.score.cs.tsukuba.ac.jp [130.158.77.69]) (authenticated bits=0) by www391.sakura.ne.jp (8.12.11/8.12.11) with ESMTP id l4G9XDww010163 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 16 May 2007 18:33:13 +0900 (JST) (envelope-from matsumoto@soutaro.com) Message-ID: <464ACFE2.3050000@soutaro.com> Date: Wed, 16 May 2007 18:33:22 +0900 From: Soutaro Matsumoto User-Agent: Thunderbird 2.0.0.0 (Macintosh/20070326) MIME-Version: 1.0 To: Emmanuel Dieul Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ODT: a *new* OCaml IDE integrated into Eclipse References: <200705111918.24342.emmanuel.dieul@free.fr> <90823c940705111150x45ca8cdck105ddb5dd304491f@mail.gmail.com> <200705112123.02375.emmanuel.dieul@free.fr> <90823c940705111413w5dc6485ak3546d541cbeb786a@mail.gmail.com> <4648695F.5080201@soutaro.com> <464A1927.3010801@free.fr> In-Reply-To: <464A1927.3010801@free.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 464ACFE6.005 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 parser:01 mli:01 ocamlc:01 syntax:01 parser:01 caml-list:01 ast:02 tree:02 output:02 output:02 let:03 let:03 distinguish:05 formatter:05 Hi, > By the way, I already have a parser for ml and mli files, > based on the ocamlc -dparsetree option. I think the -dparsetree output is not enought for refactoring purpose. It may produces same output for these three programs. let f x = x+1 let f = fun x -> x+1 let f = function x -> x+1 Since I would like to use a syntax tree formatter to produce the result of refactoring, the parser and AST should distinguish these three programs. (I'm not sure that how existing refactoring editors work. Does anyone have any ideas?) # Of course, the output of -dparsetree is enough for outline-view. -- Soutaro Matsumoto