2003-12-07 | edwin | added method invocation typecheck | blob | commitdiff | raw |
2003-12-07 | edwin | added exception handler typecheck + bugfix | blob | commitdiff | raw | diff to current |
2003-12-06 | edwin | added the typechecker (not yet complete) | blob | commitdiff | raw | diff to current |
2003-12-04 | edwin | preparations for the typechecker | blob | commitdiff | raw | diff to current |