From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA01735; Fri, 31 May 2002 23:06:40 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA01467 for caml-list@pauillac.inria.fr; Fri, 31 May 2002 23:06:40 +0200 (MET DST) 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 SAA30312 for ; Fri, 31 May 2002 18:43:25 +0200 (MET DST) Received: from fort-point-station.mit.edu (FORT-POINT-STATION.MIT.EDU [18.7.7.76]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4VGhOn02357 for ; Fri, 31 May 2002 18:43:24 +0200 (MET DST) Received: from central-city-carrier-station.mit.edu (CENTRAL-CITY-CARRIER-STATION.MIT.EDU [18.7.7.72]) by fort-point-station.mit.edu (8.9.2/8.9.2) with ESMTP id MAA08971; Fri, 31 May 2002 12:43:23 -0400 (EDT) Received: from melbourne-city-street.mit.edu (MELBOURNE-CITY-STREET.MIT.EDU [18.7.21.86]) by central-city-carrier-station.mit.edu (8.9.2/8.9.2) with ESMTP id MAA19497; Fri, 31 May 2002 12:43:22 -0400 (EDT) Received: from mit.edu (galileo.lcs.mit.edu [18.30.0.32]) by melbourne-city-street.mit.edu (8.9.2/8.9.2) with ESMTP id MAA09537; Fri, 31 May 2002 12:43:22 -0400 (EDT) Message-ID: <3CF7A4C3.5020108@mit.edu> Date: Fri, 31 May 2002 12:28:51 -0400 From: "John D. Barnett" User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0rc1) Gecko/20020417 X-Accept-Language: en-us, en MIME-Version: 1.0 To: dengping zhu CC: caml-list@inria.fr Subject: Re: [Caml-list] about Obj.magic References: Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk dengping zhu wrote: >type ty = ty1 -> ty2 > >let x = (f (g)) a > >... So, I was thinking that the compiler treated ty as an >atomic type, not a function type. > I'm new to ocaml myself, so I'm only guessing. But it seems you could test your idea by removing the type definition for ty, allowing the compiler to infer the proper function type. Just a thought- -John ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners