Re: [Caml-list] Re: Oasis and camlp4of

2011-08-03 Thread Philippe Veber
2011/8/3 Sylvain Le Gall sylv...@le-gall.net Hello, On 02-08-2011, Philippe Veber philippe.ve...@gmail.com wrote: --bcaec54ee94203b60304a98d2f09 Content-Type: text/plain; charset=ISO-8859-1 Well, it seems that I have a much simpler problem (and it is not related to camlp4of

Re: [Caml-list] Mutually recursive closures?

2011-09-10 Thread Philippe Veber
You may not need the -rectypes option if you add a thin layer around your functions: Objective Caml version 3.12.1 Findlib has been successfully loaded. Additional directives: [...] # type t = F of (unit - t);; type t = F of (unit - t) # let rec a = F (fun () - print_endline a ; b) and

Re: [Caml-list] a push style event combinator

2011-09-15 Thread Philippe Veber
Thank you for releasing your library, it looks really interesting ! How would you compare it with react (http://erratique.ch/software/react) which, AFAIU, can be used for similar purposes ? At least I can see there is no notion of signal (continuous function of time) in PEC (or maybe signals can

Re: [Caml-list] pattern matching on strings

2011-09-17 Thread Philippe Veber
series of posts: https://rwmj.wordpress.com/2009/08/05/ocaml-internals-part-2-strings-and-other-types/ There is a pointer to http://caml.inria.fr/pub/ml-archives/caml-list/2002/08/e109df224ff0150b302033e2002dbf87.en.html in the article. On 9/14/11, Philippe Veber philippe.ve...@gmail.com

Re: [Caml-list] ocamlfind: When using -syntax, the META variable 'preprocessor' must be set

2011-10-09 Thread Philippe Veber
Hi Ashish this often happens to me after reinstalling godi, if I forget to install one syntax extension used in my project. Instead of having a more meaningful message like 'missing package bidule', I've got the message you report. Maybe you could double check whether you installed all extensions

Re: [Caml-list] Compiling the ocaml distribution under multiarched Debian/Ubuntu

2012-01-14 Thread Philippe Veber
Reported by Gerd: http://caml.inria.fr/mantis/view.php?id=5477 Le 13 janvier 2012 17:53, Philippe Veber philippe.ve...@gmail.com a écrit : Le 13 janvier 2012 17:47, Gerd Stolpmann i...@gerd-stolpmann.de a écrit : Am Freitag, den 13.01.2012, 17:13 +0100 schrieb Adrien: On 13/01/2012

[Caml-list] ocamldoc option with oasis

2012-01-14 Thread Philippe Veber
Dear camlers, Is there a way to pass an option (in my case -charset utf8) to ocamldoc when using oasis? Said differently, I'd like to customize the command used by oasis to generate the target of a Document section. Cheers, Philippe. -- Caml-list mailing list. Subscription management and

Re: [Caml-list] ocamldoc option with oasis

2012-01-14 Thread Philippe Veber
2012/1/14 Christophe TROESTLER christophe.troest...@umons.ac.be On Sat, 14 Jan 2012 20:47:17 +0100, Philippe Veber wrote: Is there a way to pass an option (in my case -charset utf8) to ocamldoc when using oasis? Said differently, I'd like to customize the command used by oasis

Re: [Caml-list] ocamldoc option with oasis

2012-01-14 Thread Philippe Veber
2012/1/14 Török Edwin edwinto...@gmail.com On 01/14/2012 11:01 PM, Philippe Veber wrote: 2012/1/14 Christophe TROESTLERChristophe.**troest...@umons.ac.bechristophe.troest...@umons.ac.be On Sat, 14 Jan 2012 20:47:17 +0100, Philippe Veber wrote: Is there a way to pass an option (in my

Re: [Caml-list] Fwd: interval trees

2012-02-12 Thread Philippe Veber
2012/2/11 Edgar Friendly thelema...@gmail.com On 02/11/2012 12:38 PM, Goswin von Brederlow wrote: On Fri, Feb 10, 2012 at 10:07:05AM +0900, Francois Berenger wrote: I need to use an interval tree. Biocaml has one, batteries have imap/iset, nice! Anyone have something like this but for

[Caml-list] Functional GUI programming: looking for good practices

2012-02-13 Thread Philippe Veber
Dear camlers, I'm looking for advanced examples of GUI programming in functional style. As I'm aware there is no definitive answer on this topic, I'll gladly read about pragmatic approaches which may fail to be fully declarative, but do work well in practice. Lately I've been trying to write a

Re: [Caml-list] Functional GUI programming: looking for good practices

2012-02-14 Thread Philippe Veber
2012/2/13 Adrien camarade...@gmail.com On 13/02/2012, Philippe Veber philippe.ve...@gmail.com wrote: Dear camlers, I'm looking for advanced examples of GUI programming in functional style. As I'm aware there is no definitive answer on this topic, I'll gladly read about pragmatic

Re: [Caml-list] Functional GUI programming: looking for good practices

2012-02-14 Thread Philippe Veber
Hi Anthony, This looks interesting, however as I'm not very familiar with delimcc (that's a shame, I admit), I fail to understand the flow of the program. Would you mind giving a snippet of the update loop you mentionned? So far, I'm not sure how well this works out for a complete project. I

Re: [Caml-list] Functional GUI programming: looking for good practices

2012-02-22 Thread Philippe Veber
-- the usual scattered GUI code which is connected by messages/events. On Tue, Feb 14, 2012 at 3:17 AM, Philippe Veber philippe.ve...@gmail.com wrote: Hi Anthony, This looks interesting, however as I'm not very familiar with delimcc (that's a shame, I admit), I fail to understand the flow

[Caml-list] A js_of_ocaml equivalent for the JVM?

2012-03-09 Thread Philippe Veber
Dear camlers, I used js_of_ocaml several times and was really stunned of how clever (notably because writing interfaces boils down to writing types) and efficient this approach is. Would a similar thing work for the JVM, that is a compiler from ocaml bytecode to java bytecode? I guess it wouldn't

Re: [Caml-list] A js_of_ocaml equivalent for the JVM?

2012-03-12 Thread Philippe Veber
Thank you Xavier and Johan for the replies. 2012/3/9 fo...@x9c.fr fo...@x9c.fr Le 9 mars 2012 à 18:45, Johan Grande a écrit : Le 09/03/2012 18:12, Philippe Veber a écrit : Dear camlers, I used js_of_ocaml several times and was really stunned of how clever (notably because writing

[Caml-list] Efficient scanning of large strings from files

2012-03-16 Thread Philippe Veber
Dear camlers, Say that you'd like to search a regexp on a file with lines so long that you'd rather not load them entirely at once. If you can bound the size of a match by k length of a line, then you know that you can only keep a small portion of the line in memory to search the regexp.

Re: [Caml-list] Efficient scanning of large strings from files

2012-03-16 Thread Philippe Veber
2012/3/16 Edgar Friendly thelema...@gmail.com On 03/16/2012 09:03 AM, Philippe Veber wrote: Dear camlers, Say that you'd like to search a regexp on a file with lines so long that you'd rather not load them entirely at once. If you can bound the size of a match by k length of a line

Re: [Caml-list] Efficient scanning of large strings from files

2012-03-19 Thread Philippe Veber
) with an incremental matching routine. E. On Fri, Mar 16, 2012 at 10:48 AM, Philippe Veber philippe.ve...@gmail.com wrote: Thank you Edgar for your answer (and also Christophe). It seems my question was a bit misleading: actually I target a subset of regexps whose matching is really trivial, so

Re: Re: [Caml-list] Efficient scanning of large strings from files

2012-03-19 Thread Philippe Veber
, Philippe Veber wrote: Dear camlers, Say that you'd like to search a regexp on a file with lines so long that you'd rather not load them entirely at once. If you can bound the size of a match by k length of a line, then you know that you can only keep a small portion of the line

[Caml-list] Explicitely named type variable and type constraints.

2012-03-21 Thread Philippe Veber
Hi, I found myself defining a type that would both contain a module type and a type constraint: module type Screen = sig type state type message val init : state [...] val emit : state - message option end type 'a screen = (module Screen with type message = 'a)

Re: [Caml-list] Explicitely named type variable and type constraints.

2012-03-21 Thread Philippe Veber
Thanks for your answer Jacques! ([ `quit ] as 'a) screen = (module Screen with type message = 'a) but an expression was expected of type (module Screen) Indeed, this is clearly wrong: these two module types are not equivalent. Right, that one was obvious. New attempt:

[Caml-list] Current SVN head and findlib.

2012-04-12 Thread Philippe Veber
Dear camlers, While playing with the upcoming features of our favorite compiler, I found that the current trunk and version/4.00 branch do not work well with findlib (version 1.2.8). I report it here so others might confirm (or not) what I say. OCaml version 4.01.0+dev1_2012-03-31 #

Re: [Caml-list] Current SVN head and findlib.

2012-04-12 Thread Philippe Veber
Thanks for your answer ! 2012/4/12 Jonathan Protzenko jonathan.protze...@gmail.com I also have this problem, and I've reported it to Gerd. Good. What I usually do is edit the topfind file, remove the new stuff, and uncomment the lines marked as old. This has been working fine so far for

Re: [Caml-list] [ANN] findlib-1.3.0

2012-05-07 Thread Philippe Veber
Hi Gerd, and many thanks for this new release! There was a strange response of findlib when missing some camlp4 package: http://www.mail-archive.com/caml-list@inria.fr/msg00759.html Did you also have some time to look at it? Just curious, it's not particularly bothering me now. Thanks again,

Re: [Caml-list] camlp4 and generating class definitions

2012-05-12 Thread Philippe Veber
Hi Joel, You can have a look at Martin Jambon's col syntax extension : https://github.com/pveber/col Have a look at pa_col.ml, starting line 400. Cheers, Philippe. 2012/5/11 Joel Reymont joe...@gmail.com I would like to auto-generate an object with a couple of mutable fields and some