From a90f6c46eb016ad1c40ffad0c212464f34e300f0 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Sun, 21 Feb 2016 02:48:45 -0500 Subject: [PATCH] Add exn:break:hang-up and exn:break:terminate --- typed-racket-lib/typed-racket/base-env/base-structs.rkt | 5 ++++- typed-racket-test/unit-tests/typecheck-tests.rkt | 2 ++ 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/base-env/base-structs.rkt b/typed-racket-lib/typed-racket/base-env/base-structs.rkt index e23182fc..9511ae31 100644 --- a/typed-racket-lib/typed-racket/base-env/base-structs.rkt +++ b/typed-racket-lib/typed-racket/base-env/base-structs.rkt @@ -70,7 +70,10 @@ ([message : -String] [continuation-marks : -Cont-Mark-Set]) (define-hierarchy exn:break (#:kernel-maker k:exn:break) - ([continuation : top-func])) + ([continuation : top-func]) + + (define-hierarchy exn:break:hang-up (#:kernel-maker k:exn:break:hang-up) ()) + (define-hierarchy exn:break:terminate (#:kernel-maker k:exn:break:terminate) ())) (define-hierarchy exn:fail (#:kernel-maker k:exn:fail) () diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index 9c9932c7..70d30928 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -2004,6 +2004,8 @@ exn:fail:unsupported exn:fail:user exn:break + exn:break:hang-up + exn:break:terminate arity-at-least date srcloc)