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

fix problem reported by Sigrid on plt-scheme

Browse Source 
original commit: 996405af9c5ba32c49d1051c85b573d1383e244a
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-03 13:15:19 -04:00
parent 60812be652
commit 55fb37ff16
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/tests/typed-scheme/succeed/mutable-struct-pred.ss Normal file
View File

@ -0,0 +1,10 @@
#lang typed/scheme
(define-struct: x ([y : Any]) #:mutable)
(define: the-x : Any (make-x 1))
(if (x? the-x)
(x-y the-x)
0)

4
collects/typed-scheme/typecheck/tc-structs.rkt
View File

@ -111,6 +111,7 @@
#:maker (or maker* maker)
#:predicate (or pred* pred)
#:struct-info si
#:poly? poly?
#:constructor-return cret))))
;; generate names, and register the approriate types give field types and structure type
@ -123,6 +124,7 @@
#:pred-wrapper [pred-wrapper values]
#:maker [maker* #f]
#:predicate [pred* #f]
#:poly? [poly? #f]
#:constructor-return [cret #f])
;; create the approriate names that define-struct will bind
(define-values (struct-type-id maker pred getters setters) (struct-names nm flds setters?))
@ -137,7 +139,7 @@
(cons (or maker* maker)
(wrapper (->* external-fld-types (if cret cret name))))
(cons (or pred* pred)
(make-pred-ty (if setters?
(make-pred-ty (if (and setters? poly?)
(make-StructTop sty)
(pred-wrapper name)))))
(for/list ([g (in-list getters)] [t (in-list external-fld-types/no-parent)] [i (in-naturals)])