30 lines
714 B
Racket
30 lines
714 B
Racket
#;
|
|
(exn-pred exn:fail:contract?)
|
|
#lang racket/load
|
|
|
|
;; check typed-untyped interaction with default tag
|
|
|
|
(module untyped racket
|
|
(provide call-f)
|
|
|
|
(define (call-f f)
|
|
(call-with-continuation-prompt
|
|
(λ () (f 0))
|
|
(default-continuation-prompt-tag)
|
|
;; this application should fail due to the any wrapping
|
|
;; for the TR function that's aborted here
|
|
(λ (x) (x "string")))))
|
|
|
|
(module typed typed/racket
|
|
(require/typed 'untyped
|
|
[call-f ((Integer -> Integer) -> Integer)])
|
|
|
|
(call-f
|
|
(λ: ([x : Integer])
|
|
;; this abort should wrap with an Any wrapper
|
|
(abort-current-continuation
|
|
(default-continuation-prompt-tag)
|
|
(λ (x) x)))))
|
|
|
|
(require 'typed)
|