Changes: * added check of returntype and argument types when redefining a method * fixed bug in Binop: replaced !(t1.isSubtype(t2)||t2.isSubtype(t1)) with t1.lub(t2) match { } * added check of returntype of if/else blocks * fixed _string function in Parser.scala (TODO: check this) * fixed lub(): added NullType, NullType => NullType

Fork: 0

x-way / zweic

Browse code Changes: * added check of returntype and argument types when redefining a method * fixed bug in Binop: replaced !(t1.isSubtype(t2)\|\|t2.isSubtype(t1)) with t1.lub(t2) match { } * added check of returntype of if/else blocks * fixed _string function in Parser.scala (TODO: check this) * fixed lub(): added NullType, NullType => NullType master
1 parent 5726193 commit cf6f303e761f6d0b8553e4e156eb5f499c55e899 ajaggi authored on 27 Dec 2005

Browse code

Changes:

* added check of returntype and argument types when redefining a method
* fixed bug in Binop: replaced !(t1.isSubtype(t2)||t2.isSubtype(t1)) with t1.lub(t2) match { }
* added check of returntype of if/else blocks
* fixed _string function in Parser.scala (TODO: check this)
* fixed lub(): added  NullType, NullType => NullType

master

1 parent 5726193 commit cf6f303e761f6d0b8553e4e156eb5f499c55e899

ajaggi authored on 27 Dec 2005

Patch

Unified Split

Showing 3 changed files

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

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

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

Show line notes below