Internal error: Uniphase (0, 0) str f w/ target 1

[yallop]

a.ml:

let f () = ()

b.ml:

module C = A
macro m () = <<C.f ()>>

Bug:

$ ocamlc a.ml b.ml
Uniphase (0, 0) str f w/ target 1
Fatal error: exception File "bytecomp/lambda.ml", line 526, characters 10-16: Assertion failed

[yallop]

A simpler test case:

# module L = List;;
module L = List
# macro m = <<L.map>>;;
Uniphase (0, 12) str map w/ target 1
Fatal error: exception File "bytecomp/lambda.ml", line 523, characters 10-16: Assertion failed

[OlivierNicole]

#20 partly fixes this. It works in non-interactive mode, but entering the two phrases from your minimal example in the toplevel now makes it segfault.
I find the toplevel particularly hard to debug, so I haven’t yet determined where the segfault comes from.

[yallop]

Reopening this, since the top-level still has the problem.

[github-actions]

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.