Issue 8 in clever: Missing type-check in compile-time

[cle...@googlecode.com]

Status: New
Owner: cado...@gmail.com
CC: felipensp
Labels: Type-Defect Priority-High Usability

New issue 8 by cado...@gmail.com: Missing type-check in compile-time
http://code.google.com/p/clever/issues/detail?id=8

I've commited the readln() function (std module), which receives no
arguments and returns a String. The problem is that, since we don't have
type-check fully working yet, it's possible to store the String inside an
Int.

For example:

$ clever -r "import std.io; Int foo = readln(); println(foo);"
qwerty foobar 123456789
qwerty foobar 123456789

$

[cle...@googlecode.com]

Updates:
Labels: -Type-Defect Type-Todo

Comment #1 on issue 8 by felipensp: Missing type-check in compile-time
http://code.google.com/p/clever/issues/detail?id=8

(No comment was entered for this change.)

[cle...@googlecode.com]

Updates:
Labels: -Type-Todo Type-TODO

Comment #2 on issue 8 by felipensp: Missing type-check in compile-time