[isabelle-dev] Code generation to OCaml and Scala

Frédéric Tuong frederic.tuong at lri.fr
Thu Sep 10 13:24:50 CEST 2015

Hi Florian,

> For SML, I kept everything as it is since
> a) the code is separate from OCaml anyway
> b) the "let … end" is always safe regardless of surrounding whitespace.
> Or did I miss something here?

Here the SML part should be kept as it is (the generation was working 
correctly for me in SML), so your modifications on OCaml side are 
enough, this is good!

Thanks also for your changes in Scala,

More information about the isabelle-dev mailing list