Re: very basic type checking

2010-06-24 Thread Jan Ingvoldstad
On Wed, Jun 23, 2010 at 20:21, Darren Duncan dar...@darrenduncan.netwrote: 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

Re: very basic type checking

2010-06-24 Thread yary
On Thu, Jun 24, 2010 at 12:08 AM, Jan Ingvoldstad frett...@gmail.comwrote: 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

Re: very basic type checking

2010-06-24 Thread Darren Duncan
yary wrote: 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