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
type abbreviation is cyclic
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-10-24 (20:48)
From: Jon Harrop <jon@f...>
Subject: Re: [Caml-list] type abbreviation is cyclic
On Wednesday 24 October 2007 19:09:13 Till Varoquaux wrote:
> ...
> AFAIK -rectypes doesn't break any of the programs working before but
> if you attend to use it you will probably run in problems with type
> inference (not polymorphic enough). I would recommend steering clear
> of it for anything else than toy programs.

You used to be able to get the OCaml compiler to segfault by using -rectypes 
inconsistently while compiling. I believe that -rectypes can be useful. For 
example, the OCaml implementations of the ray tracer benchmark use it to good 
effect to implement the scene tree without an extra level of indirection. I 
have never bothered turning it on for any significant projects or during 
development though, so I can't say with any certainty whether or not it has a 
practical impact on error messages.

Dr Jon D Harrop, Flying Frog Consultancy Ltd.