Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Typing problems when using LablGTK
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Mattias Waldau <mattias.waldau@a...>
Subject: RE: Typing problems when using LablGTK
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"?