On Thu, Jun 24, 2010 at 12:08 AM, Jan Ingvoldstad <frett...@gmail.com>wrote:

> On Wed, Jun 23, 2010 at 20:21, Darren Duncan <dar...@darrenduncan.net
> >wrote:
> > If all invocations of myop use a code literal for the $y argument, then
> > this can be checked at compile time, but if the argument is a variable,
> they
> > have to look further out.
> >
> >
> Yup.
> For those who don't quite see what this leads to, consider the Halting
> Problem for why this looking around, out, in, between, sideways, back, and
> forward must have cut-off points.

Yes but- the OP wasn't asking about
my Str $s;
my Int $i=$s;

not failing at compile time, the question was about
 my Int $i='abc';

or how about
 sub square(Int $n='o hai');

Would it be wrong for the "cut-off point" be after an immediate assignment/
declaration of a built-in type to a literal constant? Or does even checking
that at compile time lead to headache?

Reply via email to