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

Minor optimizations in type-alias-helper

Browse Source 
original commit: 4b05d835f45226b9f4aa66f427525cb2c1142149
This commit is contained in:
Asumu Takikawa 2014-11-14 13:43:57 -05:00
parent dcecff2c22
commit 40bf75c689
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -46,7 +46,7 @@
(define components (tarjan vertex-map))
;; extract the identifiers out of the results since we
;; don't need the whole vertex
(for/list ([component components])
(for/list ([component (in-list components)])
(map vertex-data component)))
;; check-type-alias-contractive : Id Type -> Void
@ -161,7 +161,7 @@
;; Check that no #:implements clauses are recursive
(define counterexample
(for/or ([component class-components])
(for/or ([component (in-list class-components)])
(and (or (not (= (length component) 1))
(has-self-cycle? component type-alias-class-map))
component)))
@ -195,7 +195,7 @@
(cond [(null? parents) null]
[else
(define all-deps
(for/list ([parent parents])
(for/list ([parent (in-list parents)])
(append (get-deps parent)
(get-all-parent-deps parent))))
(apply append all-deps)]))