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

fix

Browse Source 
svn: r9516
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-28 21:21:26 +00:00
parent 0f2fc610ce
commit 3f5550e705
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-scheme/private/unit-utils.ss
View File

@ -3,7 +3,7 @@
(require scheme/unit (require scheme/unit
(for-syntax (for-syntax
scheme/base scheme/base
(only-in srfi/1/list s:member s:delete-duplicates) (only-in srfi/1/list s:member delete-duplicates)
scheme/unit-exptime scheme/unit-exptime
scheme/match)) scheme/match))
@ -59,10 +59,10 @@
[imps* (map datum->sig-elem (filter (lambda (imp) (not (sig-in-sigs? imp exps))) imps))]) [imps* (map datum->sig-elem (filter (lambda (imp) (not (sig-in-sigs? imp exps))) imps))])
(values imps* exps*)))) (values imps* exps*))))
(define (duplicates sigs) (define (duplicates? sigs)
(for/or ([s sigs] (for/or ([s sigs]
#:when #:when
(> 1 (length (for/list ([s* sig]) (sig=? s s*))))) (> 1 (length (for/list ([s* sigs]) (sig=? s s*)))))
s)) s))
(syntax-case stx (import export) (syntax-case stx (import export)
@ -80,7 +80,7 @@
=> =>
(lambda (d) (lambda (d)
(raise-syntax-error #f (format "multiple units export the signature ~a" d) stx))] (raise-syntax-error #f (format "multiple units export the signature ~a" d) stx))]
[else (mk (s:delete-duplicates imps) exps units stx)]))])) [else (mk (delete-duplicates imps) exps units stx)]))]))
;; Tests ;; Tests