Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Abstract type over modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Johan Baltié <johan.baltie@w...>
Subject: [Caml-list] Abstract type over modules
I'm having a strange problem with an abstract type used in 2 modules.

The problem can be summarized as:

************************* test1.mli ************************* 
type toto

val test : toto -> toto

************************* test2.mli ************************* 
open Test1

val test2 : toto -> toto

************************* test1.ml ************************* 

 type toto = int

let test a = (Test2.test2 a) 

************************* Compiling ************************* 
> ocamlc -v                               
The Objective Caml compiler, version 3.06
Standard library directory: /usr/local/lib/ocaml

> ocamlc -c test1.mli
> ocamlc -c test2.mli
> ocamlc -c test1.ml

The implementation test1.ml does not match the interface test1.cmi:
Values do not match:
  val test : Test1.toto -> Test1.toto
is not included in
  val test : toto -> toto


Does anyone encounter this kind of problem ?

-- 
Ciao

Jo

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners