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