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



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.