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=1.0 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 60A35BC6E for ; Fri, 20 Jul 2007 11:52:39 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.183]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6K9qbRN020014 for ; Fri, 20 Jul 2007 11:52:38 +0200 Received: by wa-out-1112.google.com with SMTP id j37so992670waf for ; Fri, 20 Jul 2007 02:52:36 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=S58xkhM415xW97ZLvw0LqirRzBXDsgiaZ2L4VZHJ88ieMWr2pukjwC/DC56TxvuKxg7pKhj5vP4YmdfSMvLhDR7BMpDVf72ojsywlYg6P0KwQx34hDPhJl8pfqFiM0phFiFwUcfRRcQ13R+gQvakiDn4JZfkVFbAoh1/idHsXLA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=f4Zv7SaIyXh6wgNUZefElTi18rqjhLBtcB7dbdeofeO2mVOEOFMVJZEpKMvuVa3tjJsla+1SgCdh+y7t0x3BlIVfGXseTjcivMTiGoDXjPBWlXFesLZnYIQGPIyr5UPsZxSTs/CyW6nbiw0Q1k18Sqp9/I2zGX7tZPYpuOKD9ww= Received: by 10.114.130.1 with SMTP id c1mr303498wad.1184925156478; Fri, 20 Jul 2007 02:52:36 -0700 (PDT) Received: by 10.114.191.3 with HTTP; Fri, 20 Jul 2007 02:52:32 -0700 (PDT) Message-ID: <710e3f920707200252l76fa95a1xd7b3d827cb948a62@mail.gmail.com> Date: Fri, 20 Jul 2007 11:52:36 +0200 From: Rafael To: robert@strangelights.com Subject: Re: SPAM-LOW: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml Cc: christophe.raffalli@univ-savoie.fr, caml-list@yquem.inria.fr In-Reply-To: <00a061a7711a4e0084b6b412f6a2c56b@strangelights.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_122610_20990243.1184925156368" References: <00a061a7711a4e0084b6b412f6a2c56b@strangelights.com> X-j-chkmail-Score: MSGID : 46A085E5.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46A085E5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 ocaml:01 mli:01 ocaml:01 parser:01 mli:01 ocamllex:01 mll:01 ocamlyacc:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 ------=_Part_122610_20990243.1184925156368 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline On 7/20/07, Robert Pickering wrote: > > Hi there, > > I tried out the OcaIDE on a toy project and it seemed to work well, > however thes is a relatively small probable that stops me from using it i= n > my day job for editing OCaml code. For reasons I won't go into, most of t= he > caml code I edit is stored in files that end with either mf or mfi instea= d > of ml and mli. Eclipse allows you to associate these files with the ocaml > editor (via Window > Preferences . > Editors > File associations), howeve= r > when they are opened in the editor there is no colouring and I get an err= or > message stating "mf file extension has no associated parser." Would it be > possible to fix this? > > Many thanks, > Rob > Hello, All over the code, we assume that a module file has .ml as extension, and the same for interfaces -> .mli, ocamllex -> .mll, ocamlyacc ->.mly. There is work to do, but it's technically possible to let the user choose extensions. We will discuss it. Regards, Rafael ------------------------------ > > *From*: Rafael > *Sent*: 19 July 2007 05:48 > *To*: "Christophe Raffalli" > *Subject*: SPAM-LOW: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for > O'Caml > > > > > On 7/19/07, Christophe Raffalli > wrote: > > > > > > > > > > Yes exactly, let definition with very small name and/or very > > > small scope do not need to be displayed in the outline. > > > > > > > In fact, and because we dont know what we want yet, the best would be t= o > > have > > > > - a minimum length (in char) for indentifier > > - a minimum length (in line) for scope size > > - and a choice between and and or > > > > Then you could say: I display an identifier if its length >=3D 3 and it= s > > scope size >=3D 30 > > > > Or you could say I display an identifier if its length >=3D 10000 or it= s > > scope size >=3D 30 > > (which means that the length is useless) > > > > The only question is whether OCalIDE can compute the scop size of an > > ident ? > > > Yes it would be a good idea. I think it could be done, but I'm not sure, > so we will have to wait until the person who writes the parser for the co= de > (Nicolas) came back. An AST (Abstract Syntax Tree) is build to represent = the > code, then I guess we could find the scope of a definition... > Regards, > > Rafael > > >> Regards, > > >> > > >> > > >> > > -----------------------------------------------------------------------= - > > >> > > >> _______________________________________________ > > >> Caml-list mailing list. Subscription management: > > >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > > >> Archives: http://caml.inria.fr > > >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > >> Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > > > > -- > > Christophe Raffalli > > Universit=E9 de Savoie > > Batiment Le Chablais, bureau 21 > > 73376 Le Bourget-du-Lac Cedex > > > > t=E9l: (33) 4 79 75 81 03 > > fax: (33) 4 79 75 87 42 > > mail: Christophe.Raffalli@univ-savoie.fr > > www: http://www.lama.univ-savoie.fr/~RAFFALLI > > --------------------------------------------- > > IMPORTANT: this mail is signed using PGP/MIME > > At least Enigmail/Mozilla, mutt or evolution > > can check this signature. The public key is > > stored on www.keyserver.net > > --------------------------------------------- > > > > _______________________________________________ > > Caml-list mailing list. Subscription management: > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > > Archives: http://caml.inria.fr > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > > ------=_Part_122610_20990243.1184925156368 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline

On 7/20/07, = Robert Pickering <robert= @strangelights.com> wrote:

Hi there,

I tried out the OcaIDE on a toy project and it seemed to work well, howe= ver thes is a relatively small probable that stops me from using it in my d= ay job for editing OCaml code. For reasons I won't go into, most of the= caml code I edit is stored in files that end with either mf or mfi instead= of ml and mli. Eclipse allows you to associate these files with the ocaml = editor (via Window > Preferences . > Editors > File associations),= however when they are opened in the editor there is no colouring and I get= an error message stating "mf file extension has no associated parser.= " Would it be possible to fix this?

Many thanks,
Rob

 
Hello,
All over the code, we assume that a module file has .ml as extension, = and the same for interfaces -> .mli, ocamllex -> .mll, ocamlyacc ->= ;.mly. There is work to do, but it's technically possible to let the us= er choose extensions. We will discuss it.
Regards,
 
Rafael

From: Rafael <unfalkst= er@gmail.com>
Sent: 19 July 2007 05:48
To: "= ;Christophe Raffalli" < christophe.raffalli@u= niv-savoie.fr>
Subject: SPAM-LOW: Re: [Caml-list] OcaIDE: = a new Eclipse plug-in for O'Caml





On 7/19/07, = Christophe Raffalli < christophe.raffalli@univ-savoie.fr> wrote:=20

>
> Yes exactly, le= t definition with very small name and/or very
> small scope do not ne= ed to be displayed in the outline.=20
>

In fact, and because we dont know what we want yet, the bes= t would be to have

- a minimum length (in char) for indentifier
-= a minimum length (in line) for scope size
- and a choice between and an= d or=20

Then you could say: I display an identifier if its length >=3D 3= and its scope size >=3D 30

Or you could say I display an identif= ier if its length >=3D 10000 or its scope size >=3D 30
(which mean= s that the length is useless)=20

The only question is whether OCalIDE can compute the scop size of a= n ident ?
 
Yes it would be a good idea. I think it could be done, but I'm not= sure, so we will have to wait until the person who writes the parser = for the code (Nicolas) came back. An AST (Abstract Syntax Tree) is bui= ld to represent the code, then I guess we could find the scope of a definit= ion...=20
Regards,
 
Rafael

>> Regards,
>>>>
>> -----------------------------------------------------= -------------------=20
>>
>> _______________________________________________>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> A= rchives: http://caml.inria.fr
&g= t;> Beginner's list:=20 http://groups.yah= oo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

--
Christophe Raff= alli
Universit=E9 de Savoie
Batiment Le Chablais, bureau 21
73376 = Le Bourget-du-Lac Cedex

t=E9l: (33) 4 79 75 81 03
fax: (33) 4 79= 75 87 42
mail: Christophe= .Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
--------------------------= -------------------
IMPORTANT: this mail is signed using PGP/MIME
At = least Enigmail/Mozilla, mutt or evolution
can check this signature. The = public key is
stored on www.keyserver.net---------------------------------------------

____________________= ___________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi= -bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs



------=_Part_122610_20990243.1184925156368--