add syntax locations to cond* macro

svn: r14868

original commit: f71249500992e1b9a0729b1340d7ecc20cd8d563

collects/tests/typed-scheme/succeed/little-schemer.ss

@@ -17,10 +17,11 @@
 (define-syntax (cond* stx)
   (syntax-case stx (else)
     [(_ [pred expr id rhs] . rest)
-     #'(let ([id expr])
-         (if (pred id) 
-             rhs
-             (cond . rest)))]
+     (quasisyntax/loc stx
+         (let ([id expr])
+           (if (pred id) 
+               rhs
+               #,(syntax/loc #'rest (cond . rest)))))]
     [(_ [else . rest]) #'(begin . rest)]
     [(_ [p . rhs] . rest)
      #'(if p (begin . rhs)

collects/tests/typed-scheme/unit-tests/parse-type-tests.ss

@@ -100,6 +100,8 @@
    [(All (a ...) (a ... -> Number))
     (-polydots (a) ((list) [a a] . ->... . N))]
    
+   [(Any -> Boolean : Number) (make-pred-ty -Number)]
+   
    ))
 
 ;; FIXME - add tests for parse-values-type, parse-tc-results