[isabelle] Dependency cycle in code generator



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.