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

Intern Struct types properly wrt. identifiers.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-13 17:10:15 -04:00
parent e6697fe43f
commit 4cba6e010f
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-racket/rep/type-rep.rkt
View File

@ -307,7 +307,12 @@
[pred-id identifier?] [pred-id identifier?]
[cert procedure?] [cert procedure?]
[maker-id identifier?]) [maker-id identifier?])
[#:intern (list name (and parent (Rep-seq parent)) (map Rep-seq flds) (and proc (Rep-seq proc)))] [#:intern (list (hash-id name)
(hash-id pred-id)
(hash-id maker-id)
(and parent (Rep-seq parent))
(map Rep-seq flds)
(and proc (Rep-seq proc)))]
[#:frees (λ (f) (combine-frees (map f (append (if proc (list proc) null) [#:frees (λ (f) (combine-frees (map f (append (if proc (list proc) null)
(if parent (list parent) null) (if parent (list parent) null)
flds))))] flds))))]

2
collects/typed-racket/types/printer.rkt
View File

@ -147,7 +147,7 @@
[(Values: (list (Result: t [(Values: (list (Result: t
(FilterSet: (TypeFilter: ft pth id) (FilterSet: (TypeFilter: ft pth id)
(NotTypeFilter: ft pth id)) (NotTypeFilter: ft pth id))
(Empty:)))) (Empty:))))
(if (null? pth) (if (null? pth)
(fp "-> ~a : ~a" t ft) (fp "-> ~a : ~a" t ft)
(begin (fp "-> ~a : ~a @" t ft) (begin (fp "-> ~a : ~a @" t ft)