]> How are compiled record with only one non mutable field ? are they removed ? In Ocaml 3.05, record with only one non mutable field may be used in the following way: type 'a foo = A of int | B of 'a type bar = { value : 'a.'a foo } this means that type bar is somehow a subtype of type foo (constructor B being removed. then I think (but may be wrong) that an expression as let b = { value = A 3 } could be compiled as let b = A 3 Is this optimization performed ? (I know this is not very important for efficiency ... but I am just curious) -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners