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
[Caml-list] OCaml not automatically specialising a polymorphic function
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-06-25 (15:05)
From: Richard Jones <rich@a...>
Subject: [Caml-list] OCaml not automatically specialising a polymorphic function
- ------------------------------------------------------------
let max a b =
  if a > b then a else b

print_int (max 2 3);;

Looking at the assembler, OCaml doesn't work out that "max" has type
max : int -> int -> int, and so it generates very inefficient
code. This is a bit surprising because (I think) max can't be called
from outside the module, and the one place where it is called
specifies the type.

So I'm guessing here that OCaml doesn't really optimize across


Richard Jones.
Merjis Ltd. - all your business data are belong to you.
"I wish more software used text based configuration files!"
 -- A Windows NT user, quoted on Slashdot.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: