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

Remove some SRFI dependencies.

Browse Source 
original commit: 2195bdd15aa771c5bc2388ac3eca99256619993d
This commit is contained in:
Vincent St-Amour 2013-12-05 18:21:49 -05:00
parent 670bde6aad
commit 2b87778cc9
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -13,7 +13,7 @@
racket/private/class-internal
syntax/parse syntax/stx
unstable/syntax
(only-in srfi/1 split-at)
(only-in racket/list split-at)
(typecheck internal-forms)
(for-template (only-in '#%paramz [parameterization-key pz:pk])))

9
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt
View File

@ -1,7 +1,6 @@
#lang racket/unit
(require "../utils/utils.rkt"
(only-in srfi/1/list s:member)
(except-in (types utils abbrev union filter-ops) -> ->* one-of/c)
(only-in (types abbrev) (-> t:->))
(private type-annotation parse-type syntax-properties)
@ -122,7 +121,7 @@
[(null? names)
(do-check void null null null form null body null expected #:abstract orig-flat-names)]
;; if none of the names bound in the letrec are free vars of this rhs
[(not (ormap (lambda (n) (s:member n flat-names bound-identifier=?))
[(not (ormap (lambda (n) (member n flat-names bound-identifier=?))
(free-vars (car exprs))))
;; then check this expression separately
(with-lexical-env/extend
@ -152,7 +151,7 @@
[(unsafe) (values safe-bindings transitively-safe-bindings)]))])
(map (λ (l) (let ([types-from-user (map get-type l)])
(ret (if (andmap (λ (x) ; are all the lhs vars safe?
(s:member x safe-bindings bound-identifier=?))
(member x safe-bindings bound-identifier=?))
l)
types-from-user
(map (λ (x) (Un x -Undefined)) types-from-user)))))
@ -186,8 +185,8 @@
(syntax-parse clause
[(bindings . rhs) #'rhs]))
(cond [(andmap (lambda (fv)
(or (not (s:member fv letrec-bound-ids bound-identifier=?)) ; from outside
(s:member fv transitively-safe-bindings bound-identifier=?)))
(or (not (member fv letrec-bound-ids bound-identifier=?)) ; from outside
(member fv transitively-safe-bindings bound-identifier=?)))
(apply append (stx-map free-vars clause-rhs)))
'transitively-safe]
[else