On Friday, 29 March 2013 at 09:03:11 UTC, Kagamin wrote: > On Thursday, 28 March 2013 at 16:34:47 UTC, Maxim Fomin wrote: >> probably bypassing type system. > > try to bypass the type system; we just saw the variables are > typechecked. You saw one particular example, the problem is much bigger.