From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA03082 for caml-redistribution; Tue, 25 Nov 1997 19:03:47 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA00416 for ; Tue, 25 Nov 1997 16:45:02 +0100 (MET) Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id QAA19218; Tue, 25 Nov 1997 16:44:12 +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 KAA05504; Tue, 25 Nov 1997 10:43:29 -0500 (EST) Received: from cs.cornell.edu (TEHACHAPI.CS.CORNELL.EDU [128.84.248.52]) by cloyd.cs.cornell.edu (8.8.5/8.8.5/M-1.9) with ESMTP id KAA08268; Tue, 25 Nov 1997 10:43:27 -0500 (EST) Message-ID: <347AF21E.1943EC14@cs.cornell.edu> Date: Tue, 25 Nov 1997 10:43:26 -0500 From: Jason Hickey Organization: Cornell University X-Mailer: Mozilla 4.03 [en] (WinNT; I) MIME-Version: 1.0 To: Xavier Leroy CC: caml-list@inria.fr, crary@cs.cornell.edu, hayden@cs.cornell.edu Subject: Re: recursive types References: <199711251009.LAA22148@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: weis Thanks for the well-presented argument. One of the points you made is that functions with inferred general recursive types are often incorrect. I agree, and I am willing to make sacrifices to tie down type inference (although it seems a little extreme to remove the offending constructions). By that way, thanks for 1.06 release. OCaml 1.05 has been solid and reliable, and you have added many useful features to 1.06. The language and its type system have been clearly thought out. Nice! Xavier Leroy wrote: > > Here is the straight dope... -- Jason Hickey Email: jyh@cs.cornell.edu Department of Computer Science Tel: +1 (607) 255-4394 Cornell University