- Timestamp:
- 03/27/09 15:52:35 (11 years ago)
- Location:
- chicken/branches/scrutiny
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
chicken/branches/scrutiny/TODO
r13965 r13968 104 104 *** using "touch" with WINDOWS_SHELL won't work (need alternative) 105 105 *** extend scripts/guess-platforms.sh for more platforms 106 *** is the Mac build properly working? 106 107 107 108 ** documentation -
chicken/branches/scrutiny/scrutinizer.scm
r13967 r13968 136 136 loc "of type boolean" "a result that is always true" 137 137 "value" 138 (sprintf "in conditional `~s', 138 (sprintf "in conditional `~s'," (fragment x)))) 139 139 f)) 140 140 (define (typename t) … … 286 286 loc 287 287 (sprintf 288 "~a~a~a "288 "~a~a~a~a" 289 289 (or desc "") 290 (if desc " " "") 290 291 (if expected 291 (sprintf "expected ~a~a~a" what(and what " ") expected)292 (sprintf "expected ~a~a~a" (or what "") (and what " ") expected) 292 293 "") 293 294 (sprintf ", but where given ~a" given)))) … … 315 316 (map (lambda (x) 316 317 (if (and (list? x) (any pair? x)) 317 ' ...318 '(...) 318 319 x)) 319 320 x1))) … … 321 322 (define (call-result args e loc x) 322 323 (define (pname) 323 (sprintf "in procedure call to `~s' 324 (sprintf "in procedure call to `~s'" (fragment x))) 324 325 (d "call-result: ~a (~a)" args loc) 325 326 (let ((ptype (car args)) … … 392 393 (let ((r1 (walk (second subs) e loc dest)) 393 394 (r2 (walk (third subs) e loc dest))) 394 (when (and (not (eq? r1 '*)) (not (eq? '* r2)) 395 (not (= (length r1) (length r2)))) 396 (report1 397 loc 398 "branches in conditional expression differ in the number of results")) 399 (map (lambda (t1 t2) (simplify `(or ,t1 ,t2))) 400 r1 r2)))) 395 (cond ((and (not (eq? r1 '*)) (not (eq? '* r2))) 396 (when (not (= (length r1) (length r2))) 397 (report1 398 loc 399 "branches in conditional expression differ in the number of results")) 400 (map (lambda (t1 t2) (simplify `(or ,t1 ,t2))) 401 r1 r2)) 402 (else '*))))) 401 403 ((let) 402 404 (let ((t (single (walk (first subs) e loc (first params)) loc)))
Note: See TracChangeset
for help on using the changeset viewer.