Browse thread
Re: [Caml-list] Subtyping structurally-equivalent records, or something like it?
[
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: | 2010-05-04 (13:43) |
From: | Sylvain Le Gall <sylvain@l...> |
Subject: | Re: Subtyping structurally-equivalent records, or something like it? |
On 04-05-2010, rossberg@mpi-sws.org <rossberg@mpi-sws.org> wrote: > "Sylvain Le Gall" <sylvain@le-gall.net>: >> >> This is not about optimized compiler in this case but about data >> representation. Even if you use an optimized compiler (which is not >> really the case with ocamlopt), you won't change datastructure >> representation to optimize. > > What do you mean? There is no reason in general why a compiler cannot > optimize data representations, and some do in cases like this. > Anyway, if it comes to data alignement and things like that, the compiler should optimize data representations. But in this case, I really don't think we are talking about data alignement. Regards, Sylvain Le Gall