fix contract test case
This commit is contained in:
parent
8a9a592c3c
commit
6484eed468
|
@ -948,15 +948,16 @@
|
||||||
(define (f x) x)
|
(define (f x) x)
|
||||||
(provide (contract-out [f (-> any/c any)]))))
|
(provide (contract-out [f (-> any/c any)]))))
|
||||||
(eval '(module provide/contract49-m2 racket/base
|
(eval '(module provide/contract49-m2 racket/base
|
||||||
(require 'provide/contract48-m1)
|
(require 'provide/contract49-m1)
|
||||||
(f 1 2)))
|
(provide go)
|
||||||
|
(define (go) (f 1 2))))
|
||||||
(with-handlers ([exn:fail? (λ (x)
|
(with-handlers ([exn:fail? (λ (x)
|
||||||
(define m (regexp-match #rx"([^:]*:)" (exn-message x)))
|
(define m (regexp-match #rx"([^:]*:)" (exn-message x)))
|
||||||
(if m
|
(if m
|
||||||
(cadr m)
|
(cadr m)
|
||||||
(list "regexp failed to match"
|
(list "regexp failed to match"
|
||||||
(exn-message x))))])
|
(exn-message x))))])
|
||||||
(eval '(require 'provide/contract49-m2))))
|
((dynamic-require ''provide/contract49-m2 'go))))
|
||||||
"f:")
|
"f:")
|
||||||
|
|
||||||
(contract-error-test
|
(contract-error-test
|
||||||
|
|
Loading…
Reference in New Issue
Block a user