Re: [Caml-list] type abbreviation is cyclic

[Jon Harrop <jon@ffconsultancy.com>]

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.
http://www.ffconsultancy.com/products/?e