Esther Baruk

On Tue, Aug 14, 2012 at 5:11 PM, Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote:

Hello,

In Section 7.14 of the Ocaml manual:

http://caml.inria.fr/pub/docs/manual-ocaml/manual021.html#toc81

there is a `Basic example'.

The code (with some essential fillings) may look like this:

--------------------------------------------------
module type DEVICE = sig type t
val foo : unit -> unit
end
let devices : (string, module DEVICE) Hashtbl.t = Hashtbl.create 17

module SVG = struct
type t = int
let foo _ = assert false
end

let _ = Hashtbl.add devices "SVG" (module SVG : DEVICE)

module PDF = struct
type t = float
let foo _ = assert false
end

let _ = Hashtbl.add devices "PDF" (module PDF: DEVICE)

module Device =
(val (try Hashtbl.find devices (parse_cmdline())
with Not_found -> eprintf "Unknown device %s\n"; exit 2)
: DEVICE
)
---------------------------------------------------

When I try to compile this piece of code:

ocamlc -o main main.ml

I get an error:

File "main.ml", line 4, characters 23-29:
Error: Syntax error
make: *** [main] Error 2

Is that example sound (for Ocaml 3.12)?
Or did I spoiled something myself?
I would be grateful for any advice. Thank you in advance.

The compiler does not seem to like giving `module DEVICE' as the second
parameter to the Hashtbl.t type constructor. I am not actually sure what
`module DEVICE' could, semantically, mean.

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs