Re: Type-checking bug (or feature?) in O'Caml 1.06

From: Paul Stodghill (stodghil@cs.cornell.edu)
Date: Tue Nov 18 1997 - 20:05:56 MET


To: caml-list@pauillac.inria.fr
Subject: Re: Type-checking bug (or feature?) in O'Caml 1.06
From: Paul Stodghill <stodghil@cs.cornell.edu>
Date: 18 Nov 1997 14:05:56 -0500
In-Reply-To: Paul Stodghill's message of "18 Nov 1997 13:57:31 -0500"

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 <stodghil@cs.cornell.edu>
http://www.cs.cornell.edu/home/stodghil/home.html



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET