self-import of module types

[smolkaj]

While importing types from the own *.mli file works fine as demonstrated in src_test/test_self_import.{ml,mli}, self-importing module types doesn't seem to work:

test_self_import_module_type.ml

module type S = [%import: (module Test_self_import_module_type.S)]

test_self_import_module_type.mli

module type S = sig
  val flag : bool
end

compilation:

Circular build detected
  (src_test/test_self_import_module_type.cmx already seen in [
                                                         src_test/test_self_import_module_type
                                                         ])

Is this a known limitation? This would be very useful!

[whitequark]

Bug. At the moment I have no time to implement this but will review and accept a PR.

[smolkaj]

@xguerin, I saw that you implemented self-import for types in #10. Any chance you may have the cycles to take a look at this? I would certainly appreciate it.

[xguerin]

I planned to look into it as a next step. I'm not sure when I'll get a chance to look at it but that's certainly on my todo list.

[whitequark]

Fixed by #14