Re: [Caml-list] Bigarray question: Detecting subarrays, overlaps, ...

2012-03-01 Thread Goswin von Brederlow
Gerd Stolpmann i...@gerd-stolpmann.de writes: What I did not understand up to now: It is really easy to keep all this information in a helper data structure. Why extend Bigarray? Gerd A helper data structure would mean keeping track of that information on my own complicating the source and

[Caml-list] Camlp5 6.04 - configurable name

2012-03-01 Thread Daniel de Rauglaudre
Hi, New release of Camlp5 (6.04) where: The *names* of all what are built (executables, library) are now configurable, allowing to have 'strict' and 'transitional' modes both installed in the same computer in different places. Example: ./configure --strict make world.opt make

[Caml-list] [VMCAI2012] Professor/Associate professor in Formal Methods

2012-03-01 Thread Wolfgang Ahrendt
CHALMERS University of Technology, Gothenburg, Sweden Department of Computer Science and Engineering Professor/Associate professor in Formal Methods The Department has 76 faculty members and enrols about 70 PhD students from more than 30 countries. The research spans the whole spectrum, from

[Caml-list] types not equal when I expect them to be

2012-03-01 Thread Ashish Agarwal
The following code fails to compile: - a.ml module Foo = struct module St = struct type t = string let compare = compare end module Map (* : Map.S with type key = St.t *) = Map.Make(St) (* module Map = Map.Make(struct type t = string let compare = compare end) *) end module

[Caml-list] compiling static preprocessors

2012-03-01 Thread Thomas Gazagnaire
Dear camlp4 experts, I'm trying to compile a static version of a preprocessor built from type-conv and sexplib. I've tried: ocamlc dynlink.cma unix.cma \ -I +camlp4 camlp4lib.cma -linkall \ Camlp4Parsers/Camlp4OCamlRevisedParser.cmo \ Camlp4Parsers/Camlp4OCamlParser.cmo \

Re: [Caml-list] compiling static preprocessors

2012-03-01 Thread Jérémie Dimino
Le Thu, 1 Mar 2012 20:58:38 +0100, Thomas Gazagnaire thomas.gazagna...@gmail.com a écrit : ocamlc dynlink.cma unix.cma \ -I +camlp4 camlp4lib.cma -linkall \ Camlp4Parsers/Camlp4OCamlRevisedParser.cmo \ Camlp4Parsers/Camlp4OCamlParser.cmo \

Re: [Caml-list] types not equal when I expect them to be

2012-03-01 Thread Gabriel Scherer
Note that Bar is actually unnecessary. The following code exhibit the exact same behavior: module Foo = struct module St = struct type t = string let compare = compare end module Map (* : Map.S with type key = St.t *) = Map.Make(St) (* module Map = Map.Make(struct type t =

Re: [Caml-list] compiling static preprocessors

2012-03-01 Thread Thomas Gazagnaire
Camlp4Bin.cmo must be the last file on the command line. Thanks Jérémie, this indeed fixes part of the problem. Now, I get a new error message: Fatal error: exception Not_found Raised at file camlp4/Camlp4/Struct/Grammar/Delete.ml, line 131, characters 16-25 Called from file

[Caml-list] LOLA 2012 -- call for contributed talks

2012-03-01 Thread Amal Ahmed
*** CALL FOR CONTRIBUTED TALKS *** LOLA 2012 Syntax and Semantics of Low Level Languages Sunday 24th June 2012, Dubrovnik, Croatia A LICS 2012-affiliated workshop