x-way/zweic

Fork: 0

x-way / zweic

History for zweic / sources / zweic / Type.scala

2005-12-27	d759f98 Browse files » Changes: ... * fixed bug: Null is not subtype of Int (according to spec) * prettyfied some error messages ajaggi committed on 27 Dec 2005
	cf6f303 Browse files » 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 ajaggi committed on 27 Dec 2005
	5726193 Browse files » Changes: ... * fixed isSubtype() * removed trailing whitespaces ajaggi committed on 27 Dec 2005
2005-12-26	c921b15 Browse files » tests added, use script.sh glproj03 committed on 26 Dec 2005
2005-12-20	8d9e572 Browse files » Type.scala done but not tested glproj03 committed on 20 Dec 2005
	13f6332 Browse files » merged glproj03 committed on 20 Dec 2005
	c448850 Browse files » new files part 4 glproj03 committed on 20 Dec 2005