| Thu, 28 Oct 2010 22:23:11 +0200 | wenzelm | type attribute is derived concept outside the kernel; | changeset | files |
| Thu, 28 Oct 2010 22:12:08 +0200 | wenzelm | preserve original source position of exn; | changeset | files |
| Thu, 28 Oct 2010 22:11:06 +0200 | wenzelm | handle Type.TYPE_MATCH, not arbitrary exceptions via MATCH_TYPE variable; | changeset | files |