Closed
Description
Since most of our signatures will carry region-pointers we might as well make them look as much like "pointer" as any programmer's visual reflex will give. We also have to do something about the ambiguity between &
as a sigil and &
as an operator (explained by niko's post about patterns that capture values by reference).
It requires freeing up *
from unsafe-pointer duty, so we're going to use ^
there, in a nod to pascal I guess, or maybe just due to it being "pointy looking" and thus hazardous-seeming.
Anyway, onwards through the syntax bikeshed jungle!