Fatal error: exception File "bytecomp/translcore.ml", line 1167, characters 12-18: Assertion failed

[yallop]

a.ml:

macro m = << print_endline >>

b.ml:

macro m () = $(~A.m)

bug:

$ ocamlc a.ml b.ml 
Fatal error: exception File "bytecomp/translcore.ml", line 1167, characters 12-18: Assertion failed

[OlivierNicole]

This should yield a phase error during the typing phase. A toplevel splice in a macro implies more than two execution phases (~A.m is of phase 2) whereas currently we only support two phases (0 and 1).

While having more than two phases makes conceptual sense, there would be a complexity cost in supporting it (an unknown number of top-level splice execution and replacement stages, instead of just one).

[xnning]

I'm inclined to think about that as we have two phases (compile-time and runtime) but multiple levels. Perhaps it wouldn't be right to think about that as a phase 2 computation anyway, as it is not necessarily evaluated before all 1 phase programs.

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