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
the
documentation for module M once, namely in m.mli). But there is no
module type M. Does anyone have the same problem and/or have a solution?
cheers
christian sternagel
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi
Is there a way to be able to apply something of an abstract data type
without knowing the internal representation?
E.g., when having the module
module Parser : sig
type ('a,'tok) t
val token : ('tok - 'a option) - ('a,'tok) t
end = struct
type ('a,'tok) t = 'tok list - ('a * 'tok list)
let
Hello,
once again I have some problems using functors with module types. I
produced following (almost?) minimal example:
module type MT_M = sig
type s
type t = A of s | B of t list
val f : t - t
end
module type MT_N = sig
module M : MT_M
val f : 'a - M.t