On Tue, 27 Sep 2011, Pierre Chopin wrote:

> Le 27 sept. 2011 à 09:58, Walter Cazzola a écrit :

>> On Tue, 27 Sep 2011, Jacques Garrigue wrote:

>> uhm, I've tried to follow your advice but the problem persists (attached
>> the new version) when I try to apply the functor I get the following
>> error:

>> # module M1 = Continuation(Sum) ;;
>> Error: Signature mismatch:
>>       Modules do not match:
>>         sig
>>           type a = int
>>           and b = int
>>           and c = int
>>           val op : int -> int -> int
>>           val init : int
>>         end
>>       is not included in
>>         OpVarADT.OpVarADT
>>       Values do not match:
>>         val op : int -> int -> int
>>       is not included in
>>         val op : 'a -> 'b -> 'c

> Compiled successfully the code that was attached, looks somehow you
> have an old version of OPVarADT being used.
> Try to delete cmo/cmi files and recompile.

You are right, I forgot to cancel the previous .cmi files.

I still have one problem: how can I assign to a the type 'a list? by
using «type a= 'a list» I get

   Error: Unbound type parameter 'a

thanks a lot for the help

Walter
--