From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=2.0 required=5.0 tests=AWL,HTML_MESSAGE, MISSING_SUBJECT,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 581BDBBAF for ; Tue, 5 May 2009 17:45:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0DAJ/7/0nRVdrimGdsb2JhbACCIjGTEFQ/AQEBAQEICQwHEalwkCkBBIQB X-IronPort-AV: E=Sophos;i="4.40,298,1238968800"; d="scan'208";a="27253361" Received: from mail-bw0-f226.google.com ([209.85.218.226]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 May 2009 17:45:28 +0200 Received: by bwz26 with SMTP id 26so6157351bwz.27 for ; Tue, 05 May 2009 08:45:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=rR/+CR1uF9mT0TNMhyMI03vRZVRyroVGVyyhnk3r3fM=; b=feQANZNEST1bN3Gbgzfjk1c16PffBeJZ09aU3/BnQW0HJSpkCCS9WAIBbovCKQYaIU h2glZCGwmnAX1KXLqHqNz6UK1oGvxenCYIpU2KgdHA2YdAncP1jNlJPtI1xonsJ2Wapr mnAUoCO+eP7I8k6UxYPioW8ZvQY9KN6M18T5o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=XOlLlYvQuJwz+wgVDOvHV/XkDDu1782LppM42/P7ZE4vtjpQ+M/1dG1C+9ZcFtiEmy Co/z6gvcl2yp2dNVeaHUpqohuVc/WuZAzrSMMrkHqMe49BbYKv0nGnyLn1zwO7608LRs M/96nOop5R7JdDm3pHgRYxWpR/y2P6zkF1Oxs= MIME-Version: 1.0 Received: by 10.223.110.11 with SMTP id l11mr283044fap.50.1241538328246; Tue, 05 May 2009 08:45:28 -0700 (PDT) Date: Tue, 5 May 2009 17:45:28 +0200 Message-ID: <721f7f5a0905050845y3fd8e00rd6220295d093c417@mail.gmail.com> Subject: From: Philippe Veber To: caml-list@yquem.inria.fr Content-Type: multipart/alternative; boundary=001636c5983207c43704692c2b42 X-Spam: no; 0.00; sig:01 struct:01 mismatch:01 sig:01 struct:01 mismatch:01 W8:98 W8:98 W6:98 W6:98 int:01 int:01 modules:02 modules:02 parameter:02 --001636c5983207c43704692c2b42 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit # module M : sig class x : int -> object method m : int end end = struct class x _ = object method m = 42 end end;; Error: Signature mismatch: Modules do not match: sig class x : 'a -> object method m : int end end is not included in sig class x : int -> object method m : int end end Class declarations do not match: class x : 'a -> object method m : int end does not match class x : int -> object method m : int end One parameter has type 'a but is expected to have type int --001636c5983207c43704692c2b42 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable # module M :
sig class x : int -> object method m : int end end =3D = struct class x _ =3D object method m =3D 42 end end;;
Error: Signature m= ismatch:
=A0=A0=A0=A0=A0=A0 Modules do not match:
=A0=A0=A0=A0=A0=A0= =A0=A0 sig class x : 'a -> object method m : int end end
=A0=A0=A0=A0=A0=A0 is not included in
=A0=A0=A0=A0=A0=A0=A0=A0 sig class= x : int -> object method m : int end end
=A0=A0=A0=A0=A0=A0 Class de= clarations do not match:
=A0=A0=A0=A0=A0=A0=A0=A0 class x : 'a ->= object method m : int end
=A0=A0=A0=A0=A0=A0 does not match
=A0=A0=A0=A0=A0=A0=A0=A0 class x : int -> object method m : int end
= =A0=A0=A0=A0=A0=A0 One parameter has type 'a but is expected to have ty= pe int

--001636c5983207c43704692c2b42--