diff --git a/typed-racket-test/fail/define-new-subtype.rkt b/typed-racket-test/fail/define-new-subtype.rkt index 4c5d8375..55246754 100644 --- a/typed-racket-test/fail/define-new-subtype.rkt +++ b/typed-racket-test/fail/define-new-subtype.rkt @@ -1,3 +1,5 @@ +#; +(exn-pred #rx"expected: Radians.*given: Degrees") #lang typed/racket/base (require "../succeed/define-new-subtype.rkt") diff --git a/typed-racket-test/fail/issue-169-1.rkt b/typed-racket-test/fail/issue-169-1.rkt index 3827741b..5f6eaa7c 100644 --- a/typed-racket-test/fail/issue-169-1.rkt +++ b/typed-racket-test/fail/issue-169-1.rkt @@ -1,3 +1,5 @@ +#; +(exn-pred #rx"expected: \\(Listof Nothing\\).*given: \\(Listof Pos\\*\\)") #lang typed/racket (define-type Pos Integer) (define-new-subtype Pos* (p Pos)) diff --git a/typed-racket-test/fail/issue-169-2.rkt b/typed-racket-test/fail/issue-169-2.rkt index 08b7f4bd..fbb99eb0 100644 --- a/typed-racket-test/fail/issue-169-2.rkt +++ b/typed-racket-test/fail/issue-169-2.rkt @@ -1,3 +1,5 @@ +#; +(exn-pred #rx"expected: \\(Listof Nothing\\).*given: \\(Listof Pos\\*\\)") #lang typed/racket (define-type Pos Integer) (define-new-subtype Pos* (p Pos))