From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8RJkGGL030975 for ; Tue, 27 Sep 2011 21:46:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAJongk5HSjh8lGdsb2JhbABBqAAUAQEBAQkLEhQDI4FTAQEEASdSBQsLBBQuVwaIC7oChitgBJNShSKMLg X-IronPort-AV: E=Sophos;i="4.68,450,1312149600"; d="scan'208,217";a="110824250" Received: from hrndva-omtalb.mail.rr.com ([71.74.56.124]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2011 21:45:53 +0200 X-Authority-Analysis: v=1.1 cv=lfM0d0QHaVz67dfwwr9cyIw6NbaGR/pZhMD6XWNi0kk= c=1 sm=0 a=inbZedgGmsQA:10 a=60QXMgKhFKMi8/ncNfZgvg==:17 a=9z7YjeDOVFvJr0dT6vEA:9 a=wPNLvfGTeEIA:10 a=uZpvAtGW3KZkYzHJo2sA:9 a=60QXMgKhFKMi8/ncNfZgvg==:117 X-Cloudmark-Score: 0 X-Originating-IP: 66.108.127.87 Received: from [66.108.127.87] ([66.108.127.87:54571] helo=[192.168.1.4]) by hrndva-oedge03.mail.rr.com (envelope-from ) (ecelerity 2.2.3.46 r()) with ESMTP id 73/B4-12229-FE7228E4; Tue, 27 Sep 2011 19:45:51 +0000 Mime-Version: 1.0 (Apple Message framework v1244.3) Content-Type: multipart/alternative; boundary="Apple-Mail=_4A629A4F-7BEF-470B-AEB5-33A7EB38E8D5" From: Pierre Chopin In-Reply-To: Date: Tue, 27 Sep 2011 15:45:51 -0400 Cc: OCaML Mailing List Message-Id: <091F94EF-9F08-41E2-8AD7-415548045A72@free.fr> References: <6A020199-D53D-443E-9683-D225D495AEB5@math.nagoya-u.ac.jp> To: Walter Cazzola X-Mailer: Apple Mail (2.1244.3) X-Validation-by: pierrchp@free.fr Subject: Re: [Caml-list] still silly issues on polymorphic types --Apple-Mail=_4A629A4F-7BEF-470B-AEB5-33A7EB38E8D5 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 Le 27 sept. 2011 =E0 09:58, Walter Cazzola a =E9crit : > On Tue, 27 Sep 2011, Jacques Garrigue wrote: >=20 > 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: >=20 > # module M1 =3D Continuation(Sum) ;; > Error: Signature mismatch: > Modules do not match: > sig > type a =3D int > and b =3D int > and c =3D 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 >=20 Compiled successfully the code that was attached, looks somehow you have an= old version of OPVarADT being used.=20 Try to delete cmo/cmi files and recompile. -Pierre --Apple-Mail=_4A629A4F-7BEF-470B-AEB5-33A7EB38E8D5 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1

Le 27 sept. = 2011 =E0 09:58, Walter Cazzola a =E9crit :

On Tue, 27 Sep 2011, Jacques Ga= rrigue wrote:

uhm, I've tried to follow your advice but the problem persists (attache= d
the new version) when I try to apply the functor I get the followingerror:

# module M1 =3D Continuation(Sum) ;;
Error: Signature mi= smatch:
      Modules do not match:
&= nbsp;       sig
   &n= bsp;      type a =3D int
  &nbs= p;       and b =3D int
  &= nbsp;       and c =3D int
&nbs= p;        val op : int -> int -&= gt; int
          val= init : int
        end
&nb= sp;     is not included in
   &= nbsp;    OpVarADT.OpVarADT
    =   Values do not match:
      &n= bsp; val op : int -> int -> int
    &nbs= p; is not included in
       &n= bsp;val op : 'a -> 'b -> 'c

Compiled successfully the code that was attached, looks= somehow you have an old version of OPVarADT being used.

Tr= y to delete cmo/cmi files and recompile.

-Pierre

= --Apple-Mail=_4A629A4F-7BEF-470B-AEB5-33A7EB38E8D5--