Qui, 2008-06-26 às 16:03 +0200, Moritz Lenz escreveu:
> In the test suite there are some tests like this:
> is(1.WHAT, 'Int', '1 as a literal is an Int);
> This seems to imply that we guarantee the direct type of literals. But
> do we?
> Actually I see no need for t
On Thu, Jun 26, 2008 at 04:03:42PM +0200, Moritz Lenz wrote:
: In the test suite there are some tests like this:
: is(1.WHAT, 'Int', '1 as a literal is an Int);
:
: This seems to imply that we guarantee the direct type of literals. But
: do we?
:
: Actually I see no need f
In the test suite there are some tests like this:
is(1.WHAT, 'Int', '1 as a literal is an Int);
This seems to imply that we guarantee the direct type of literals. But
do we?
Actually I see no need for that. All my programs work fine if the
literal 1 is of type Foo, and Foo isa I
