From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7UMW6Hv013002 for ; Wed, 31 Aug 2011 00:32:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgYBAEVkXU4SB0QlmWdsb2JhbABCqEMUAQEBAQEICwsHFCWBQAEBBAEnUgULC0ZXBhOHcq8hiH+FdGAEpEY X-IronPort-AV: E=Sophos;i="4.68,304,1312149600"; d="scan'208";a="117764090" Received: from dmz-mailsec-scanner-8.mit.edu ([18.7.68.37]) by mail1-smtp-roc.national.inria.fr with ESMTP; 31 Aug 2011 00:32:01 +0200 X-AuditID: 12074425-b7b15ae000000f71-e1-4e5d64a2734a Received: from mailhub-auth-3.mit.edu ( [18.9.21.43]) by dmz-mailsec-scanner-8.mit.edu (Symantec Messaging Gateway) with SMTP id 2A.FB.03953.3A46D5E4; Tue, 30 Aug 2011 18:30:59 -0400 (EDT) Received: from outgoing.mit.edu (OUTGOING-AUTH.MIT.EDU [18.7.22.103]) by mailhub-auth-3.mit.edu (8.13.8/8.9.2) with ESMTP id p7UMVxbx005208; Tue, 30 Aug 2011 18:31:59 -0400 Received: from localhost (CONTENTS-VNDER-PRESSVRE.MIT.EDU [18.9.64.11]) (authenticated bits=0) (User authenticated as jfc@ATHENA.MIT.EDU) by outgoing.mit.edu (8.13.6/8.12.4) with ESMTP id p7UMVvoB024895; Tue, 30 Aug 2011 18:31:58 -0400 (EDT) Message-Id: <201108302231.p7UMVvoB024895@outgoing.mit.edu> To: AUGER Cedric cc: caml-list@inria.fr In-reply-to: <20110830132737.78b7a08e@lri.fr> References: <20110830132737.78b7a08e@lri.fr> Comments: In-reply-to AUGER Cedric message dated "Tue, 30 Aug 2011 13:27:37 +0200." X-Mailer: MH-E 8.2; nmh 1.3; GNU Emacs 23.1.1 Date: Tue, 30 Aug 2011 18:31:57 -0400 From: John Carr X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFtrNIsWRmVeSWpSXmKPExsUixCmqrbs4JdbP4P0TZotPOzawWPxe2sno wOQx6cUhFo+l+18xBjBFcdmkpOZklqUW6dslcGWs/XyPtWADa0XX/PPMDYzTWLoYOTgkBEwk fj1J6mLkBDLFJC7cW8/WxcjFISSwj1Hi+acpLBDOBkaJx5c+QmUamCT23VjDBNLCK2AlcXze P2YQW0RATeLH4jesIDYz0KhXDx+wg9jCAsESTz/fAKvnFNCV+HW4hQ3EFhLQkbg64QkTyBXM ArkSTyeqQ1yhK/Fx0UywVhYBVYlrNw+D2WwCshKP2rsYJzDyL2BkWMUom5JbpZubmJlTnJqs W5ycmJeXWqRroZebWaKXmlK6iREURuwuqjsYJxxSOsQowMGoxMPLLRDrJ8SaWFZcmXuIUZKD SUmU1yQJKMSXlJ9SmZFYnBFfVJqTWnyIUYKDWUmE93wiUI43JbGyKrUoHyYlzcGiJM77eoeD n5BAemJJanZqakFqEUxWhoNDSYKXFxgvQoJFqempFWmZOSUIaSYOTpDhPEDDdUBqeIsLEnOL M9Mh8qcYFaXEecVBEgIgiYzSPLheWJy/YhQHekWY1xikigeYIuC6XwENZgIafMkwGmRwSSJC SqqBcebCazv9TY5+SzpVuj9uslOMzkV5ZbsZi6Vre1YzNc6O2l1b0bRd71RBfHJh8M5zL58X Bz27tY1n94wdzGLffzWyn/kl8Lpy/4qGn3Zrv02x3pjxRX3SoWXKfJayBe/uP1YS5l525LCf 2zelk38ClKdGfr3o8v/FupMCZfWXi00lF+pZur2w36nEUpyRaKjFXFScCADbDgLazgIAAA== Subject: Re: [Caml-list]Warning 20: this argument will not be used by the function. > Warning 20: this argument will not be used by the function. See also warning 21: # let f () = assert false; 0;; Warning 21: this statement never returns (or has an unsound type.) val f : unit -> int = Assert behaves like a function with type bool -> 'a. The return type is an unconstrained type, a type variable not mentioned on the left hand side of the arrow. Functions with such type never return or have unsound type. Your example used Obj.magic and has unsound type. A more verbose version of warning 20 would explain Warning 20: this argument will not be used by the function (or the function has an unsound type). --John Carr (jfc@mit.edu)