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 LAA01426 for caml-redistribution; Mon, 31 May 1999 11:50:17 +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 RAA26556 for <caml-list@pauillac.inria.fr>; Sun, 30 May 1999 17:25:10 +0200 (MET DST)
Received: from semper.fmi.uni-passau.de (semper.fmi.uni-passau.de [132.231.1.11])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA09142
	for <caml-list@inria.fr>; Sun, 30 May 1999 17:25:08 +0200 (MET DST)
Received: from kosh.fmi.uni-passau.de (kosh.fmi.uni-passau.de [132.231.1.18])
	by semper.fmi.uni-passau.de (8.8.8/8.8.8) with ESMTP id RAA09136
	for <caml-list@inria.fr>; Sun, 30 May 1999 17:25:00 +0200 (MET DST)
Received: from localhost (krauth@localhost)
	by kosh.fmi.uni-passau.de (8.8.8/8.8.8) with SMTP id RAA16198
	for <caml-list@inria.fr>; Sun, 30 May 1999 17:24:50 +0200 (MET DST)
X-Authentication-Warning: kosh.fmi.uni-passau.de: krauth owned process doing -bs
Date: Sun, 30 May 1999 17:24:50 +0200 (MET DST)
From: aXl <krauth@fmi.uni-passau.de>
X-Sender: krauth@kosh
To: caml-list@inria.fr
Subject: Typing-problem
Message-ID: <Pine.GSO.3.96.990530171304.16161A-100000@kosh>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis

Hi, 
why is in the following example b of type "string -> string" ?

	let a = id id;;
	let b = a;;
	a "foo";; 
	(* until here it's covered by the faq's *)
	b;;

Thanks,
Axel Krauth