Re: [Caml-list] a question bout exetract a sub-element of element in triple

2009-02-23 Thread Florent Ouchet
Su Zhang a écrit : I encountered a new problem which is I want to get " 1 " from a triple "(0,2,[1,2,3])", which means I want to get the first value of the third item in one triple and itself is a list, but when I use the List.hd (third(0,2,[1,2,3])), it will give me the entire list which is [

[Caml-list] future of ocamlexc

2009-02-26 Thread Florent Ouchet
Hi, OcamlExc was a tool to analyse potentially raised and uncaught exceptions [1]. It was developped few years ago based on OCAML 3.0. Unfortunately, the original source code does not work with latest OCAML releases (3.9, 3.10, 3.11...). Some people managed to get its source updated [2]. Is

Re: [Caml-list] Odd performance result with HLVM

2009-03-02 Thread Florent Ouchet
Jon Harrop a écrit : There are really two major advantages over the current ocamlopt design and both stem from the use of JIT compilation: . Run-time types allow per-type functions like generic pretty printers and comparison. . Monomorphisation during JIT compilation completely removes the p

Re: [Caml-list] recursive records with weak hashtbl

2009-03-04 Thread Florent Ouchet
Vsevolod Fedorov a e'crit : Is it possible at all? Yes, you have to use "type .. and .. ;;" statements for instance: type a = { id : int ; mutable field_1 : string; mutable field_b : b; } and b = { id : int; mutable field_2 : string; field_a_list : a array; (* they referenced me *) };; Is

[Caml-list] integer regular expressions

2009-03-30 Thread Florent . Ouchet
implement a logical or... I googled a little but all the results are always related to string regular expressions :( any pointers? any existing Caml code? Thanks, Florent Ouchet ___ Caml-list mailing list. Subscription management: http://yquem.inr

Re: [Caml-list] integer regular expressions

2009-03-31 Thread Florent Ouchet
Martin Jambon a écrit : You want something called "views" or "active patterns". You can do that in OCaml with mikmatch, which includes such syntax extension. See http://martin.jambon.free.fr/mikmatch-manual.html#htoc10 Here is your example: let view Mod30 = fun x -> x mod 30 = 0 (* but not:

Re: [Caml-list] Data type representing 'Money'

2009-05-17 Thread Florent . Ouchet
Hi, Fixed point computing is okay, but the financial world used to play with 5 fractional digits. Florent "Edgar Friendly" a écrit : Conglun Yao wrote: Hi all, Is there any data type could be used to represent 'Money' in OCaml, similar to BigDecimal. I see a lot of programs using float

Re: [Caml-list] Why don't you use batteries?

2009-09-11 Thread Florent Ouchet
Richard Jones a écrit : Give them a live CD. There are various online projects where you can create live CDs with a custom set of packages via a webpage.[1] A live CD is actually better than relying on them trying to install something under Windows, because you're guaranteeing a consistent envi

Re: [Caml-list] public access to the SVN repository for OCaml

2009-10-22 Thread Florent Ouchet
Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs -- Florent Ouchet PhD Student CIS/VDS Team - TIMA Laboratory 46, avenue Félix Viallet 38031 GRENOBLE Cedex France mail: florent.ouc...@imag.fr phone:

Re: [Caml-list] public access to the SVN repository for OCaml

2009-10-22 Thread Florent Ouchet
Self-answered: http://caml.inria.fr/cgi-bin/viewcvs.cgi/ocaml/ Florent Shoot first, read later... Hello, Any plan to have an online SVN advanced viewer such as viewvc? For instance: http://notepad-plus.svn.sourceforge.net/viewvc/notepad-plus/trunk/readmeFirst.txt?view=log Cheers, Florent

Re: [Caml-list] Favorite OCaml editor?

2010-01-05 Thread Florent Ouchet
Hi, I've used emacs+touareg for a while but as soon as the projects become big, I switched to kate. No way back... - Florent ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http

Re: [Caml-list] ocamldebug: User-defined printers for abstract data types?

2010-03-27 Thread Florent . Ouchet
Hello, The printing of Big_int is possible and AFAIK Big_int is an abstract data type. The following code is part of DebugPrinter.ml in VSYML [1]: (** custom debug printer for big_int values (why is it missing in vanilla ocaml?) @param value_big_int the value to be printed @return uni

Re: [Caml-list] Static exception analysis or alternative to using exceptions

2010-05-27 Thread Florent Ouchet
iption 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 -- Florent Ouchet PhD Student CIS/VDS Team - TIMA Laboratory __

Re: [Caml-list] Static exception analysis or alternative to using exceptions

2010-05-27 Thread Florent Ouchet
e error handling at the deep-1 level. [1] VSYML: VHDL Symbolic Simulator in OCaml http://users-tima.imag.fr/vds/ouchet/vsyml.html - Florent Eray Ozkural a écrit : On Thu, May 27, 2010 at 11:08 AM, Florent Ouchet wrote: Hello, Same here, specially to avoid the Not_found exception. The op

Re: [Caml-list] Static exception analysis or alternative to using exceptions

2010-05-31 Thread Florent Ouchet
that though. ocamlexc gave such results, but this tool is now discontinued and not compatible with latest compilers :( -- Florent Ouchet PhD Student CIS/VDS Team - TIMA Laboratory ___ Caml-list mailing list. Subscription management: http://yqu

Re: [Caml-list] OCaml 3.12.0+beta1

2010-06-24 Thread Florent Ouchet
provide some preprocessing scripts to strip these extra "_". Best Regards, -- Florent Ouchet PhD Student CIS/VDS Team - TIMA Laboratory ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-lis

Re: [Caml-list] OCaml 3.12.0+beta1

2010-06-24 Thread Florent . Ouchet
Martin Jambon a écrit : I disagree. The syntax is a new and optional feature. Authors who want their new code to compile with an earlier version of OCaml should simply avoid using the new feature, as always. The 3.12 version number is just minor increment. It should keep backward compa

Re: [Caml-list] OCaml 3.12.0+beta1

2010-06-24 Thread Florent Ouchet
Till Varoquaux a écrit : As for forward compatibility (ie programs coded with 3.12 in mind might not compile with 3.10) this is a price I am happy to pay in order to have a language that's constantly improving. I think that this is feeling that is shared by many. ok all, it has to be considere

Re: [Caml-list] OCaml 3.12.0+beta1

2010-06-24 Thread Florent Ouchet
t-be-incomplete pattern matchings (true-positive) will be very hard. Anyway, I'm running out of arguments and the problem is still there... I would have wasted less time in having the scripts setup than in arguing here. -- Florent Ouchet PhD Student, CIS/VDS Groups TIM

Re: [Caml-list] OCaml 3.12.0+beta1

2010-06-24 Thread Florent Ouchet
bluestorm a écrit : Wouldn't a simple sed "s/; _ }/}/g" suffice in practice ? Depends on your coding style: line breaks, comments... - Florent ___ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-

Re: [Caml-list] interfacing Ocaml with Mathematica

2010-09-07 Thread Florent Ouchet
tiveOperator (OperatorAssociativeAnd,[a_symbol;or_formula]);; designeval_formula formula default_struct_context default_eval_context;; --> returns a_symbol The syntax is /a little bit/ verbose, but that's required to evaluate complex VHDL expression. It supports associative and/

Re: [Caml-list] type of high order functions

2010-12-15 Thread Florent Ouchet
ements in 2 blocks, the type inference algorithm is called twice (once per block), and this time your type constraint was considered before x and y are effectively typed. -- Florent Ouchet PhD Student CIS/VDS Team - TIMA Laboratory ___ Caml-list mail