Re: [Caml-list] polymorphic method.

2009-09-11 Thread blue storm
On Thu, Sep 10, 2009 at 9:14 PM, Guillaume Yziquel wrote: > I'm not really familiar with syntax extensions. Can this 'polymorphic' > keyword be implemented with a syntax extension? No, it can't. If you're talking about camlp4 syntax extensions, they're converted to regular OCaml programs at camlp

[Caml-list] A kind of syslog functionality

2009-09-11 Thread Michaël Grünewald
Dear list, I am looking for a way to gather the messages coming from various modules of a program and selectively dispatch them to STDERR, a log file, or whatever. A module processing the messages in a manner similar to the `syslog' found on UNIX systems would be nice. -- Best regards, Mich

Re: [Caml-list] polymorphic method.

2009-09-11 Thread Jacques Garrigue
From: Guillaume Yziquel > To continue on the example of nil: the current definition of nil > (i.e. the one with type ) would be written as > >> class nil : object >> polymorphic method hd = raise Empty >> polymorphic method tl = raise Empty >> end > > and the definition > >> class nil : ob

Re: [Caml-list] polymorphic method.

2009-09-11 Thread Guillaume Yziquel
blue storm a écrit : With a camlp4 extension, you could inspect the (syntaxically explicit) parameters of you method, and (syntaxically) generate a polymorphic type for each one : "polymorphic method foo bar baz = ..." would be translated into "method foo : 'a 'b . 'a -> 'b -> 'c = fun (bar : 'a

Re: [Caml-list] A kind of syslog functionality

2009-09-11 Thread Stéphane Glondu
Michaël Grünewald a écrit : > A module processing the messages in a manner similar to the `syslog' > found on UNIX systems would be nice. There is an implementation of the syslog protocol itself in OCaml: http://homepage.mac.com/letaris/ It is also available as package in Debian (and Ubuntu).

Re: [Caml-list] polymorphic method.

2009-09-11 Thread Guillaume Yziquel
Jacques Garrigue a écrit : From: Guillaume Yziquel To continue on the example of nil: the current definition of nil (i.e. the one with type ) would be written as class nil : object polymorphic method hd = raise Empty polymorphic method tl = raise Empty end and the definition class nil

[Caml-list] Format and str_formatter

2009-09-11 Thread Christian Sternagel
Hi there, Recently I started to use the Format module's support for custom tags (in order to print XML). I noticed a somehow strange behavior (at least it seems strange to me). What follows is a minimal example: First enable tag printing via # Format.set_tags true;; - : unit = () Now co

[Caml-list] Generating comments from camlp4

2009-09-11 Thread Alexey Rodriguez
Dear list, Is there a way to generate comments from camlp4 code? We have preprocessors that generate the following kind of code in signatures: > <:sig_item< >$sig_generator the_type_declaration$; > >> However, these extra function signatures show up in the output of ocamldoc which is very

[Caml-list] Ocamldoc and multiple packages

2009-09-11 Thread Alexey Rodriguez
Dear list, I am trying to build ocamldoc documentation for an ocaml project that contains multiple packages (collections of modules built using -for-pack and -pack). My current setup generates documentation for each package but it won't generate hyperlinks to modules in other packages (module not

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

[Caml-list] problems with installing camlp5-5.12

2009-09-11 Thread pis
Dear ocaml users, I am just trying to install camlp5-5.12 to run a code written in ocaml. I have succesfully installed ocaml-3.11.1 but when I try to install camlp5-5.12 by executing the make command I receive the following error messages (just copied the last couple of rows: cp ast2pt.mli ast2pt

Re: [Caml-list] Ocamldoc and multiple packages

2009-09-11 Thread Ashish Agarwal
I don't know the answer but you might try using ocamlbuild's mlpack and odocl features, and see how it does it. On Fri, Sep 11, 2009 at 11:47 AM, Alexey Rodriguez wrote: > Dear list, > > I am trying to build ocamldoc documentation for an ocaml project that > contains multiple packages (collection

[Caml-list] DAMP 2010: FINAL Call for Papers

2009-09-11 Thread jlpspi
DAMP 2010: Workshop on Declarative Aspects of Multicore Programming Madrid, SPAIN (colocated with POPL 2010) January, 2010 damp10.cs.nmsu.edu SUBMI