Add a test for generating GUI contracts for TR
original commit: 3d4f7906c8ebd1e17337f8b6a39a51749c109bb8
This commit is contained in:
parent
744152b0d8
commit
55c8541c82
|
@ -0,0 +1,17 @@
|
|||
#lang racket/base
|
||||
|
||||
;; Make sure contracts for GUI types can be generated in a
|
||||
;; reasonable amount of time and space.
|
||||
|
||||
(require racket/sandbox)
|
||||
|
||||
(call-with-limits
|
||||
120
|
||||
500
|
||||
(λ () (eval '(begin (module a typed/racket
|
||||
(require typed/racket/gui)
|
||||
(define x (make-object bitmap% 100 100))
|
||||
(provide x))
|
||||
(require 'a)
|
||||
x)
|
||||
(make-base-namespace))))
|
Loading…
Reference in New Issue
Block a user