Re: [Caml-list] Generic printer patch

["Jérémie Dimino" <jeremie@dimino.org>]

Le mercredi 07 décembre 2011 à 23:44 -0800, Martin Jambon a écrit :
> What do you think of moving the project to GitHub so we could follow its
> progress and contribute more easily?

This projet is just a quick hack. If i do something more serious i will
consider creating a real project.

> For now, I would just like to report that so far it works just as I
> imagined, with the following bug:
> 
>   let f x = show x
> 
> results in a segfault when running bytecode and an Assert_failure while
> compiling with ocamlopt:
> 
> external show : 'a -> string = "%show"
> let f l = show l
> let () = print_endline (f ())
> 
> $ ocamlopt -o toto toto.ml
> Fatal error: exception Assert_failure("asmcomp/cmmgen.ml", 1682, 10)

Fixed. I sometimes generated "let rec ... in ..." without any bindings
which confused the compiler.

-- 
Jérémie