Below inline attached is a scheme for an abstraction layer around calling conventions.
Comments welcome, leo
> 2.5) return context > > Yesterdays conversation on IRC (yes!) has clearly shown that the > current calling conventions are lacking information about scalar vs > list vs void context. > > sub foo { want.List ?? (1,2,3) :: 1 } # or some such > > This information could also be attached to @ARGS. E.g. > > @ARGS."return_list"(1)
Would it be possible to attach it to the continuation? Then in the course of tail-calling the information continues to be available just where it's needed.