[isabelle] Dependency cycle in code generator

Hi Florian et. al.,

I just noticed a dependency cycle in the standard code setup:

    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,

What can be done about that? (As a workaround, I could redefine
"sorted_list_of_set" somewhere else.)


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