Re: [isabelle] Dependency cycle in code generator



Hi Lars,

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

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


Best,
Jose


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

> 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.