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

Fix struct name in Struct type representation

Browse Source 
Closes issue #304
This commit is contained in:
Asumu Takikawa 2016-04-07 21:49:01 -04:00
parent 65441301c2
commit cea5091ee6
2 changed files with 15 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
typed-racket-lib/typed-racket/typecheck/tc-structs.rkt
View File

@ -32,14 +32,16 @@
;; type-only : Boolean
(struct parsed-struct (sty names desc struct-info type-only) #:transparent)
;; type-name : Id
;; struct-type : Id
;; struct-name : Id (the identifier for the static struct info,
;; usually the same as the type-name)
;; type-name : Id (the identifier for the type name)
;; struct-type : Id (the identifier for the struct type binding)
;; constructor : Id
;; extra-constructor : (Option Id)
;; predicate : Id
;; getters : Listof[Id]
;; setters : Listof[Id] or #f
(struct struct-names (type-name struct-type constructor extra-constructor predicate getters setters) #:transparent)
(struct struct-names (struct-name type-name struct-type constructor extra-constructor predicate getters setters) #:transparent)
;;struct-fields: holds all the relevant information about a struct type's types
(struct struct-desc (parent-fields self-fields tvars mutable proc-ty) #:transparent)
@ -89,7 +91,7 @@
(match (build-struct-names nm flds #f #f nm #:constructor-name maker*)
[(list sty maker pred getters/setters ...)
(let-values ([(getters setters) (split getters/setters)])
(struct-names type-name sty maker extra-maker pred getters setters))]))
(struct-names nm type-name sty maker extra-maker pred getters setters))]))
;; gets the fields of the parent type, if they exist
;; Option[Struct-Ty] -> Listof[Type]
@ -109,7 +111,7 @@
[g (in-list (struct-names-getters names))])
(make-fld t g (struct-desc-mutable desc)))]
[flds (append (get-flds parent) this-flds)])
(make-Struct (struct-names-type-name names)
(make-Struct (struct-names-struct-name names)
parent flds (struct-desc-proc-ty desc)
(not (null? (struct-desc-tvars desc)))
(struct-names-predicate names))))

8
typed-racket-test/succeed/gh-issue-304.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang typed/racket/base
;; Test for GH issue 304
;;
;; Make sure polymorphic #:type-name structs can be exported
(struct (A) foo () #:type-name Foo)
(provide (struct-out foo))