[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | 2006-07-11 (08:43) |
| 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