HaloO,
John M. Dlugosz wrote:
sub (::Type $x) # declares generic type parameter as actual type
# of $x argument
sub (::Type $) # ditto, but don't care what the value is. Value
# passed though.
OK.
sub (::Type) # the parameter is a type
The current intent in the Synopses is that using the :: sigil in a
declaration makes it a generic type parameter and declares that name there.
As a minimal fix to make that work, refine it to say that use of :: as a
sigil in a declaration on a name that contains only a single identifier
(no ::
