Re: [isabelle] Module dependence cycle when generating code using gfp for SML and OCaml



Thanks Lars and Peter!

On 21 Jul 2017 18:35, "Peter Lammich" <lammich at in.tum.de> wrote:

Hi Dominic,

You have to specify a module name to which the code is exported:

export_code goo in SML module_name Goo
export_code goo in OCaml module_name Goo


--
  Peter

On Fr, 2017-07-21 at 17:36 +0100, Dominic Mulligan via Cl-isabelle-
users wrote:
> definition goo :: "bool set" where
>   "goo â gfp (Îx. x â {})"
>
> And the following code generation commands:
>
> export_code goo in Scala
> export_code goo in Haskell
>
> export_code goo in SML
> export_code goo in OCaml



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.