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 RAA31604 for caml-red; Tue, 6 Feb 2001 17:02:44 +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 TAA19293 for <caml-list@pauillac.inria.fr>; Mon, 5 Feb 2001 19:19:55 +0100 (MET)
Received: from tor.abc.se (ns.abc.se [195.17.72.11])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f15IJsv19577
	for <caml-list@inria.fr>; Mon, 5 Feb 2001 19:19:54 +0100 (MET)
Received: from gateway (dialup-27 [195.17.73.27])
	by tor.abc.se (8.9.3+Sun/8.9.3) with SMTP id TAA12885;
	Mon, 5 Feb 2001 19:19:01 +0100 (MET)
From: "Mattias Waldau" <mattias.waldau@abc.se>
To: "Jacques Garrigue" <garrigue@kurims.kyoto-u.ac.jp>
Cc: <caml-list@inria.fr>
Subject: RE: Typing problems when using LablGTK
Date: Mon, 5 Feb 2001 19:18:49 +0100
Message-ID: <AAEBJHFJOIPMMIILCEPBCEFPCEAA.mattias.waldau@abc.se>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
In-Reply-To: <20010205120505T.garrigue@kurims.kyoto-u.ac.jp>
Sender: weis@pauillac.inria.fr

I also noted that typing the argument solved the problem. 

But why can't the typechecking complain if there is more than one 
typing possible? The current algorithm seems to take the first
solution found and keep that. 

Couldn't it instead say, "Ambiguous typing"?

/mattias