suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove #:transparent to work around place message limitations.

Browse Source 
original commit: b7f9c7706944216c4eb841396df53be2f413842f
This commit is contained in:
Sam Tobin-Hochstadt 2012-08-22 12:34:34 -04:00
parent 616b1c2fb6
commit d970f11334
3 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-racket/fail/poly-struct-parent.rkt
View File

@ -1,7 +1,7 @@
#lang typed/racket
(define-struct: (A) Box ([value : A]) #:transparent)
(define-struct: (A) (Child-Box Box) () #:transparent)
(define-struct: (A) Box ([value : A]))
(define-struct: (A) (Child-Box Box) ())
(ann (Box-value (Child-Box 'sym)) Nothing)

4
collects/tests/typed-racket/fail/poly-struct-parent2.rkt
View File

@ -2,6 +2,6 @@
("Could not instantiate parent struct type")
#lang typed/racket
(define-struct: (A) Box ([value : A]) #:transparent)
(define-struct: (Child-Box Box) () #:transparent)
(define-struct: (A) Box ([value : A]))
(define-struct: (Child-Box Box) ())

4
collects/tests/typed-racket/fail/poly-struct-parent3.rkt
View File

@ -3,7 +3,7 @@
#lang typed/racket
(define-struct: (A B) Box ([value : A]
[other : B]) #:transparent)
(define-struct: (C) (Child-Box Box) () #:transparent)
[other : B]))
(define-struct: (C) (Child-Box Box) ())