source: tests/exceptions/type-check.cfa @ ecfd758

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since ecfd758 was ecfd758, checked in by Andrew Beach <ajbeach@…>, 4 years ago

Major exception update, seperating type-ids from virtual tables. The major interface changes are done. There is a regression of ?Cancelled(T) to Some?Cancelled. There is some bits of code for the new verion of the ?Cancelled(T) interface already there. Not connected yet but I just reached the limit of what I wanted to do in one commit and then spent over a day cleaning up, so it will replace Some?Cancelled in a future commit.

  • Property mode set to 100644
File size: 256 bytes
Line 
1// Check that the exception type check works.
2
3#include <exception.hfa>
4
5EHM_EXCEPTION(truth)();
6
7int main(int argc, char * argv[]) {
8        try {} catch (int e) {}
9        try {} catch (truth & e) {}
10        try {} catchResume (int e) {}
11        try {} catchResume (truth & e) {}
12}
Note: See TracBrowser for help on using the repository browser.