On Dec-02, Melvin Smith wrote: > > 1) Currently typenames are not checked except with 'new <classname>'
I would vote for no aliases at all. I propagated the existing uses of ".local object" in the Perl6 compiler and introduced several more uses, but that was only because I wasn't sure at the time whether it was intended to (now or in the future) have slightly different
That would be my fault for not providing documentation with the compiler.
Do you really want to generate the extra unused code at the end of all the subroutines? I don't think you want to autodetect whether the code is guaranteed to return.
Good point. Its easy to detect returns if the code uses high level IMC directives, but in cases where it is all low-level PASM, it could get a little troublesome. It would also add a few dead instructions here and there. Nix that idea.
.sub _gorble () returns (int r)
r = 5
.end
We may need something like this anyway for prototyped subs. Currently we are only prototyping the parameters, not the returns; not quite orthogonal.
Thanks for the comments,
-Melvin
