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
> > 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,
> > have to look further out.
> 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?