From f5c60e9282ed08fc53f7612fa6dd295949e424c8 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 14 Feb 2009 20:48:40 +0000 Subject: [PATCH] now fully typechecks svn: r13582 --- collects/drscheme/syncheck/extra-typed.ss | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/collects/drscheme/syncheck/extra-typed.ss b/collects/drscheme/syncheck/extra-typed.ss index 06f129af52..4e79dc7b21 100644 --- a/collects/drscheme/syncheck/extra-typed.ss +++ b/collects/drscheme/syncheck/extra-typed.ss @@ -1,5 +1,5 @@ #lang typed-scheme - + (require (except-in scheme/list remove-duplicates) "id-sets.ss") @@ -17,7 +17,7 @@ [else (let: loop : (Listof Syntax) ([fst : Syntax (car ids)] [rst : (Listof Syntax) (cdr ids)]) - (cond + (error 'foo) #;(cond [(null? rst) (list fst)] [else (if (and (eq? (syntax-source fst) (syntax-source (car rst))) @@ -83,7 +83,7 @@ (: annotate-tail-position/last (Syntax (Listof Syntax) TailHT -> Void)) (define (annotate-tail-position/last orig-stx stxs tail-ht) (unless (null? stxs) - (annotate-tail-position orig-stx (car (last-pair stxs)) tail-ht))) + (annotate-tail-position orig-stx (car (#{last-pair @ Syntax} stxs)) tail-ht))) ;; annotate-tail-position : syntax -> void ;; colors the parens (if any) around the argument @@ -193,8 +193,6 @@ [prev (hash-ref ht #{key :: Any} (λ () #{null :: (Listof Any)}))]) (hash-set! ht #{key :: Any} #{(cons var prev) :: (Listof Any)})))) - - #| ;; annotate-basic : syntax ;; namespace @@ -450,4 +448,4 @@ (syntax-source sexp))) (void))]))) (add-tail-ht-links tail-ht))) -|# \ No newline at end of file +|#