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

Fix type-name-env contracts and uses

Browse Source
This commit is contained in:
Asumu Takikawa 2015-04-08 03:23:55 -04:00
parent f0c48cfb87
commit d22bf8cc11
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/env/type-alias-helper.rkt vendored
View File

@ -235,7 +235,7 @@
(register-type-name id type)
(add-constant-variance! id args)
(check-type-alias-contractive id type)
(values id type args)))
(values id type (map syntax-e args))))
;; Finally, do a last pass to refine the variance
(refine-variance! names-to-refine types-to-refine tvarss))

4
typed-racket-lib/typed-racket/env/type-name-env.rkt vendored
View File

@ -17,9 +17,9 @@
(-> (listof identifier?) (listof Type/c) any)]
[add-alias (-> identifier? identifier? any)]
[type-name-env-map
(-> (-> identifier? Type/c any) any)]
(-> (-> identifier? (or/c #t Type/c) any) any)]
[type-variance-env-map
(-> (-> identifier? variance? any) any)]
(-> (-> identifier? (listof variance?) any) any)]
[lookup-type-name
(->* (identifier?) (procedure?) (or/c #t Type/c))]
[register-type-variance!