Re: [Caml-list] What am I reinventing here?

[Andre Nathan <andre@digirati.com.br>]

On Tue, 2012-02-14 at 11:39 +0100, Gabriel Scherer wrote:
> Yes it is, but you have to use judicious "with .." annotations to make
> the type non-abstract.

Figured out my error... I had tried defining a functor like this:

module type Ops = sig
  type foo
  type bar
  val bar_of_foo : foo -> bar
  val foo_of_bar : bar -> foo
end

module type S = sig
  type foo
  type bar
  val foo : foo -> bar
  val bar : bar -> foo
end

module M (O : Ops) : S
  with type foo = O.foo and type bar = O.bar =
struct
  type foo = O.foo
  type bar = O.bar
  let foo = O.bar_of_foo
  let bar = O.foo_of_bar
end

which is correct, but in the actual code I also have a .mli file and
there I had only written "module M (O : Ops) : S", without the "with
type ..." part. I completely forgot to replicate it there, and that's
why this attempt kept failing...

Thanks so much for your help!

Andre