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 2CBE6BC69 for ; Thu, 19 Jul 2007 14:43:23 +0200 (CEST) Received: from nz-out-0506.google.com (nz-out-0506.google.com [64.233.162.227]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6JChMFT017526 for ; Thu, 19 Jul 2007 14:43:22 +0200 Received: by nz-out-0506.google.com with SMTP id x7so425514nzc for ; Thu, 19 Jul 2007 05:43:21 -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=uGVnGQev1Fp+jzijN0j+umqsWAufKTgqBeZYSOucN0ToMUJXX+9WxDT3Fqs5tYrJfG79abK5/+E/nqWz/1Hg42bV2L250Rj8MPjgPV5l1YXEHUeGCeHrCAGzJtKFGMkegr1gRcbfiEA520umnLEMAk1+Eqp1tOOGZ+dAKcIqwJA= 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=i/76YMANTpHC970VyGLViF4USJKqYqak3laQeSikkggwZW4xyCQfPUqGNRGjzuEoRPgSCwXEvOshZ0Qzwvt0wtMsCfOnhXHQAPfksLoNnnzZDhcEucv0ANybwiGdBQszzkKb4tzKwJYSNad5efR7YwLegTkoQXGaV4VCaJwAYcg= Received: by 10.114.25.3 with SMTP id 3mr2548472way.1184849001188; Thu, 19 Jul 2007 05:43:21 -0700 (PDT) Received: by 10.114.191.3 with HTTP; Thu, 19 Jul 2007 05:43:21 -0700 (PDT) Message-ID: <710e3f920707190543p9a21182qdaf6c75c9519f3b6@mail.gmail.com> Date: Thu, 19 Jul 2007 14:43:21 +0200 From: Rafael To: "Christophe Raffalli" Subject: Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml Cc: caml-list@yquem.inria.fr In-Reply-To: <469F5A8B.3030807@univ-savoie.fr> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_108403_15606145.1184849001148" References: <4fbf351c0707131317u123e2457gc59d85d9378a66c7@mail.gmail.com> <469F3160.3020902@univ-savoie.fr> <710e3f920707190251q31457e1ajae0b1b6313fd7b97@mail.gmail.com> <469F5115.5040204@univ-savoie.fr> <469F5A8B.3030807@univ-savoie.fr> X-j-chkmail-Score: MSGID : 469F5C6A.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 469F5C6A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; o'caml:01 christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 indentifier:01 parser:01 syntax:01 beginner's:01 ocaml:01 bug:01 chablais:01 73376:01 univ-savoie:01 ------=_Part_108403_15606145.1184849001148 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline 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 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 length >=3D 3 and its > scope size >=3D 30 > > Or you could say I display an identifier if its length >=3D 10000 or its > scope size >=3D 30 > (which means that the length is useless) > > The only question is whether OCalIDE can compute the scop size of an iden= t > ? 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 build to represent th= e 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_108403_15606145.1184849001148 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline

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.
>

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

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)

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...
Regards,
 
Rafael

>> Regards,
>>>>
>> -----------------------------------------------------= -------------------
>>
>> _______________________________________________>> Caml-list mailing list. Subscription management:
>> http://yqu= em.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inr= ia.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: ht= tp://caml.inria.fr/bin/caml-bugs
>

--
Christophe Raffal= li
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-s= avoie.fr
www: h= ttp://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this ma= il 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
---------------------------------------------
<= br>_______________________________________________
Caml-list mailing lis= t. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: <= a href=3D"http://caml.inria.fr">http://caml.inria.fr
Beginner's = list: http://grou= ps.yahoo.com/group/ocaml_beginners
Bug reports: http://= caml.inria.fr/bin/caml-bugs

------=_Part_108403_15606145.1184849001148--