From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA07410 for caml-redistribution; Wed, 19 Nov 1997 10:39:52 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA27607 for ; Tue, 18 Nov 1997 23:45:10 +0100 (MET) Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id XAA26298 for ; Tue, 18 Nov 1997 23:45:09 +0100 (MET) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.8.5/8.8.5/R-1.8) with ESMTP id OAA02738 for ; Tue, 18 Nov 1997 14:06:00 -0500 (EST) Received: from mario.cs.cornell.edu (MARIO.CS.CORNELL.EDU [128.84.254.142]) by cloyd.cs.cornell.edu (8.8.5/8.8.5/M-1.9) with ESMTP id OAA17929 for ; Tue, 18 Nov 1997 14:05:58 -0500 (EST) Received: (from stodghil@localhost) by mario.cs.cornell.edu (8.8.5/8.8.5/C-1.2) id OAA13719; Tue, 18 Nov 1997 14:05:57 -0500 (EST) To: caml-list@pauillac.inria.fr Subject: Re: Type-checking bug (or feature?) in O'Caml 1.06 References: Mime-Version: 1.0 (generated by tm-edit 7.106) Content-Type: text/plain; charset=US-ASCII From: Paul Stodghill Date: 18 Nov 1997 14:05:56 -0500 In-Reply-To: Paul Stodghill's message of "18 Nov 1997 13:57:31 -0500" Message-ID: X-Mailer: Gnus v5.5/XEmacs 19.15 Sender: weis The new behavior is even more bizarre than I had first thought. --------------------------------------------------------------------------- % cat foo.mli type ('a, 'b) t;; val iter: ('a -> 'b -> 'unit) -> ('a, 'b) t -> unit % ocamlc -v -i -c foo.mli The Objective Caml compiler, version 1.06 Standard library directory: /home/stodghil/usr/sparc-solaris/lib/ocaml type ('a, 'b) t val iter : ('a -> 'b -> 'c) -> ('a, 'b) t -> unit % --------------------------------------------------------------------------- Why is the generated type different than the declared type? -- Paul Stodghill http://www.cs.cornell.edu/home/stodghil/home.html