Re: [isabelle] Dependency cycle in code generator

Hi Lars,

if you add a module_name, then code can be exported:

sorted_list_of_set insert
in SML module_name Foo file "tmp/code"


2014-08-01 16:14 GMT+02:00 Lars Hupel <hupel at>:

> Hi Florian et. al.,
> I just noticed a dependency cycle in the standard code setup:
>   export_code
>     sorted_list_of_set insert
>     in SML file "tmp/code"
> This prints:
>   Dependency "sorted_list_of_set" -> type "set" would result in module
> dependency cycle
> If I change "SML" to "Haskell", it will emit code just fine, however GHC
> will complain about the dependency cycle. (scalac will eat it just fine,
> though.)
> What can be done about that? (As a workaround, I could redefine
> "sorted_list_of_set" somewhere else.)
> Cheers
> Lars

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