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

Switch tc-structs over to syntax classes.

Browse Source 
original commit: 575419bc8ba93bd1a1f3fb620b28d52b7018b528
This commit is contained in:
Eric Dobson 2013-11-12 09:57:01 -08:00
parent 22e6fc3437
commit 4fa4622f37
1 changed files with 4 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -9,11 +9,10 @@
(private parse-type syntax-properties)
(types abbrev utils resolve substitute type-table struct-table)
(env global-env type-name-env tvar-env)
(utils tc-utils)
(utils tc-utils syntax-classes)
(typecheck def-binding)
(for-syntax syntax/parse racket/base)
(for-template racket/base
"internal-forms.rkt"))
(for-template racket/base))
(provide tc/struct name-of-struct d-s
refine-struct-variance!
@ -50,16 +49,8 @@
(define (name-of-struct stx)
(syntax-parse stx
#:literal-sets (kernel-literals)
#:literals (define-typed-struct-internal values)
[(#%define-values () (begin (quote-syntax
(~or
(define-typed-struct-internal
(~optional (ids:id ...))
nm/par:parent . rest)
(define-typed-struct/exec-internal
nm/par:parent . rest)))
(#%plain-app values)))
[(~or t:typed-struct t:typed-struct/exec)
#:with nm/par:parent #'t.nm
#'nm/par.name]))