Version française
Home     About     Download     Resources     Contact us    
Browse thread
evaluation order ...
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Richard Jones <rich@a...>
Subject: Re: [Caml-list] evaluation order ...
On Tue, Jul 11, 2006 at 05:55:19PM +1000, Pietro Abate wrote:
> why does the order matter ?
> if "val a" is of type (int -> '_a) -> '_a = <fun> why '_a is fixed as soon
> as I use it once ? Do I have to add a type constraint ?

'_a isn't the same as 'a

There is a FAQ on this:

http://caml.inria.fr/pub/old_caml_site/FAQ/FAQ_EXPERT-eng.html#variables_de_types_faibles

Rich.

-- 
Richard Jones, CTO Merjis Ltd.
Merjis - web marketing and technology - http://merjis.com
Team Notepad - intranets and extranets for business - http://team-notepad.com