[isabelle-dev] Code generation to OCaml and Scala
frederic.tuong at lri.fr
Thu Sep 10 13:24:50 CEST 2015
> 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