Changes: * fixed bug: Null is not subtype of Int (according to spec) * prettyfied some error messages

Fork: 0

x-way / zweic

Browse code Changes: * fixed bug: Null is not subtype of Int (according to spec) * prettyfied some error messages master
1 parent f363328 commit d759f9860da93a59c7f4120f14bdf3350056a754 ajaggi authored on 27 Dec 2005

Patch

Unified Split

Showing 4 changed files

Ignore Space Show notes View sources/zweic/Analyzer.scala

Ignore Space Show notes View sources/zweic/Type.scala

Ignore Space Show notes View tests/4/method00-3.zwei

Ignore Space Show notes View tests/4/method00-7.zwei

Show line notes below