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.2 required=5.0 tests=HTML_MESSAGE, MIME_BOUND_NEXTPART 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 80175BC6E for ; Fri, 20 Jul 2007 10:51:28 +0200 (CEST) Received: from mx252l.mysite4now.com (mx252l.mysite4now.com [209.132.201.252]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6K8pQ95007227 for ; Fri, 20 Jul 2007 10:51:27 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary=----_SmarterMail_NextPart_0304351028480118 Date: Fri, 20 Jul 2007 01:52:47 -0700 Received: from [81.249.3.72] by mx252l.mysite4now.com via HTTP; Fri, 20 Jul 2007 01:52:47 -0700 Subject: re: SPAM-LOW: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml From: "Robert Pickering" Reply-To: robert@strangelights.com To: , Cc: Message-ID: <00a061a7711a4e0084b6b412f6a2c56b@strangelights.com> X-j-chkmail-Score: MSGID : 46A0778E.002 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46A0778E.002 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 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 o'caml:01 univ-savoie:01 indentifier:01 parser:01 syntax:01 This is a multi-part message in MIME format. ------_SmarterMail_NextPart_0304351028480118 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable =0D=0A=0D=0AHi there,=0D=0A=0D=0AI tried out the OcaIDE on a toy project an= d it seemed to work well, however thes is a relatively small probable that = stops me from using it in my day 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 wit= h either mf or mfi instead of ml and mli. Eclipse allows you to associate t= hese files with the ocaml editor (via Window > Preferences . > Editors > Fi= le associations), however when they are opened in the editor there is no co= louring and I get an error message stating "mf file extension has no associ= ated parser." Would it be possible to fix this?=0D=0A=0D=0AMany thanks, =0D= =0ARob=0D=0A=0D=0A----------------------------------------=0D=0A=0D=0A = From: Rafael =0D=0ASent: 19 July 2007 05:48=0D=0ATo:= "Christophe Raffalli" =0D=0ASubject: S= PAM-LOW: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml=0D=0A=0D= =0A On 7/19/07, Christophe Raffalli = wrote:=0D=0A=0D=0A>=0D=0A> Yes exactly, let definition with very small nam= e and/or very=0D=0A> small scope do not need to be displayed in the outline= . =0D=0A>=0D=0A=0D=0AIn fact, and because we dont know what we want yet, th= e best would be to have=0D=0A=0D=0A- a minimum length (in char) for indenti= fier=0D=0A- a minimum length (in line) for scope size=0D=0A- and a choice b= etween and and or =0D=0A=0D=0AThen you could say: I display an identifier i= f its length >=3D 3 and its scope size >=3D 30=0D=0A=0D=0AOr you could say = I display an identifier if its length >=3D 10000 or its scope size >=3D 30= =0D=0A(which means that the length is useless) =0D=0A=0D=0AThe only questio= n is whether OCalIDE can compute the scop size of an ident ?=0D=0A=0D=0A = Yes it would be a good idea. I think it could be done, but I'm not sure, s= o we will have to wait until the person who writes the parser for the code = (Nicolas) came back. An AST (Abstract Syntax Tree) is build to represent th= e code, then I guess we could find the scope of a definition... =0D=0A R= egards,=0D=0A=0D=0A Rafael=0D=0A=0D=0A >> Regards,=0D=0A>>=0D=0A>>=0D= =0A>> ---------------------------------------------------------------------= --- =0D=0A>>=0D=0A>> _______________________________________________=0D=0A>= > Caml-list mailing list. Subscription management:=0D=0A>> http://yquem.inr= ia.fr/cgi-bin/mailman/listinfo/caml-list =0D=0A>> Archives: http://caml.inr= ia.fr=0D=0A>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginner= s=0D=0A>> Bug reports: http://caml.inria.fr/bin/caml-bugs=0D=0A>=0D=0A=0D= =0A--=0D=0AChristophe Raffalli=0D=0AUniversit=E9 de Savoie=0D=0ABatiment Le= Chablais, bureau 21=0D=0A73376 Le Bourget-du-Lac Cedex =0D=0A=0D=0At=E9l: = (33) 4 79 75 81 03=0D=0Afax: (33) 4 79 75 87 42=0D=0Amail: Christophe.Raffa= lli@univ-savoie.fr=0D=0Awww: http://www.lama.univ-savoie.fr/~RAFFALLI =0D= =0A---------------------------------------------=0D=0AIMPORTANT: this mail = is signed using PGP/MIME=0D=0AAt least Enigmail/Mozilla, mutt or evolution= =0D=0Acan check this signature. The public key is=0D=0Astored on www.keyser= ver.net=0D=0A---------------------------------------------=0D=0A=0D=0A_____= __________________________________________=0D=0ACaml-list mailing list. Sub= scription management:=0D=0Ahttp://yquem.inria.fr/cgi-bin/mailman/listinfo/c= aml-list=0D=0AArchives: http://caml.inria.fr=0D=0ABeginner's list: http://g= roups.yahoo.com/group/ocaml_beginners =0D=0ABug reports: http://caml.inria.= fr/bin/caml-bugs=0D=0A=0D=0A ------_SmarterMail_NextPart_0304351028480118 Content-Type: text/html; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable =0D=0A =0D=0A

Hi there,

=0D=0A =

I tried out the OcaIDE on a toy project and it seemed to work well, how= ever thes is a relatively small probable that stops me from using it in my = day job for editing OCaml code. For reasons I won't go into, most of the ca= ml 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 edi= tor (via Window > Preferences . > Editors > File associations), ho= wever 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?

=0D=0A

Many thanks,
Rob
=0D=0A =0D=0A =0D=0A

=0D=0A

=0D=0A
=0D=0A

=0D=0A From: Rafael <unfalkster@gma= il.com>
Sent: 19 July 2007 05:48
To: "Christophe= Raffalli" <christophe.raffalli@univ-savoie.fr>
Subject: = SPAM-LOW: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

=0D= =0A =0D=0A
=0D=0A
=0D=0A
=0D=0A
=0D=0A =
=0D=0A On 7/19/07, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:= =0D=0A
=0D=0A
>=
> 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 woul= d be to 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 lengt= h >=3D 3 and its scope size >=3D 30

Or you could say I dis= play an identifier if its length >=3D 10000 or its scope size >=3D 30=
(which means that the length is useless)

The only questio= n is whether OCalIDE can compute the scop size of an ident ?
= =0D=0A
=A0
=0D=0A
Yes it would be a good idea. I think= it could be done, but I'm not sure, so=A0we will have to wait until the pe= rson who writes the parser for the code (Nicolas)=A0came back. An AST (Abst= ract Syntax Tree) is build to represent the code, then I guess we could fin= d the scope of a definition...
=0D=0A
Regards,
=0D=0A =
=A0
=0D=0A
Rafael
=0D=0A
=0D=0A >> Regards,
>>
&g= t;>
>> ------------------------------------------------------= ------------------
>>
>> ___________________________= ____________________
>> Caml-list mailing list. Subscription man= agement:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list <= /a>
>> Archives: http://caml.i= nria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners=
>> Bug reports: = http://caml.inria.fr/bin/caml-bugs
>

--
Christo= phe 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
---------------------------------------------
I= MPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla= , mutt or evolution
can check this signature. The public key is
s= tored on www.keyserver.net
-= --------------------------------------------

___________________= ____________________________
Caml-list mailing list. Subscription mana= gement:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Ar= chives: http://caml.inria.fr
Beg= inner's list: htt= p://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs<= /a>
=0D=0A
=0D=0A
=0D=0A
=0D=0A ------_SmarterMail_NextPart_0304351028480118--