Re: [Caml-list] segfault in simple program with 4.02 native

[Martin Jambon <martin.jambon@ens-lyon.org>]

On Sat 06 Sep 2014 01:31:53 PM PDT, David MENTRÉ wrote:
> Hello Martin,
>
> [ Disclaimer: I know nothing about atdgen. ]
>
> 2014-09-06 21:08, Martin Jambon:
>> I must say there's a strange feeling about creating more type
>> definitions while breaking the type system.
>
> Apparently, such tricks are used for speed reasons. Why not provide
> two ways to generate code: one safe using only regular OCaml and one
> using Obj tricks. That way, your users could check in case they have
> an issue and fall-back to safer code until a proper fix is found.
>
> Nonetheless, I still do think that having correct code is more
> important that having fast one, whatever is the speed ratio between
> the two.

I like the idea. I'm a bit concerned about maintainability and 
continuous testing, though, since this would effectively split the user 
base between those using the safe option and those using the fast 
option.