Re: [Caml-list] Arrays and private types

2012-03-15 Thread Pietro Abate
On 15/03/12 00:00, Gabriel Scherer wrote: > Here is a proposal: > > https://gitorious.org/gasche-snippets/private-array-keys-type/blobs/master/private_array_key_types.ml > > It works by using a functor to generate "fresh" private types for > keys. Note that the arrays themselves are still polym

Re: [Caml-list] Arrays and private types

2012-03-15 Thread Gabriel Scherer
> Thanks Gabriel, very nice solution. If I go this way, I guess there is > no way to access array elements using the usual a.(i) syntax (where i > = M.key i)... [...] > Is this a problem I can solve using a camlp4 decorator ? I don't think you need -- nor want to use -- a camlp4 extension. a.(i) i

[Caml-list] ML workshop 2012: call for presentations

2012-03-15 Thread Alain Frisch
Another great event for the OCaml community, to be held in conjunction with ICFP in September... Note that users, not only researchers, are particularly welcome to propose a presentation, and of course to attend the workshop. -- Alain ===

[Caml-list] oasis help: what to put in the _oasis file so that files are preprocessed

2012-03-15 Thread Francois Berenger
Hello, Let's say I have this section in an _oasis file: --- Executable "Toto" Path: src MainIs: toto.ml BuildDepends: batteries BuildTools: ocamlbuild --- I'd like the .ml file to be preprocessed using: -pp 'camlp4o -parser Camlp4MacroParser' What should I add in the _o