* more cleanup again.
This commit is contained in:
parent
c4d0277fb3
commit
18e6ac04fa
BIN
src/ikarus.boot
BIN
src/ikarus.boot
Binary file not shown.
|
@ -1391,7 +1391,7 @@
|
||||||
(define gen-map
|
(define gen-map
|
||||||
(lambda (e map-env)
|
(lambda (e map-env)
|
||||||
(let ((formals (map cdr map-env))
|
(let ((formals (map cdr map-env))
|
||||||
(actuals (map (lambda (x) (list 'ref (car x))) map-env)))
|
(actuals (map (lambda (x) `(ref ,(car x))) map-env)))
|
||||||
(cond
|
(cond
|
||||||
; identity map equivalence:
|
; identity map equivalence:
|
||||||
; (map (lambda (x) x) y) == y
|
; (map (lambda (x) x) y) == y
|
||||||
|
@ -1434,19 +1434,19 @@
|
||||||
(define regen
|
(define regen
|
||||||
(lambda (x)
|
(lambda (x)
|
||||||
(case (car x)
|
(case (car x)
|
||||||
((ref) (build-lexical-reference no-source (cadr x)))
|
[(ref) (build-lexical-reference no-source (cadr x))]
|
||||||
((primitive) (build-primref no-source (cadr x)))
|
[(primitive) (build-primref no-source (cadr x))]
|
||||||
((quote) (build-data no-source (cadr x)))
|
[(quote) (build-data no-source (cadr x))]
|
||||||
((lambda) (build-lambda no-source (cadr x) (regen (caddr x))))
|
[(lambda) (build-lambda no-source (cadr x) (regen (caddr x)))]
|
||||||
((map)
|
[(map)
|
||||||
(let ((ls (map regen (cdr x))))
|
(let ((ls (map regen (cdr x))))
|
||||||
(build-application no-source
|
(build-application no-source
|
||||||
(build-primref no-source 'map)
|
(build-primref no-source 'map)
|
||||||
ls)))
|
ls))]
|
||||||
(else
|
[else
|
||||||
(build-application no-source
|
(build-application no-source
|
||||||
(build-primref no-source (car x))
|
(build-primref no-source (car x))
|
||||||
(map regen (cdr x)))))))
|
(map regen (cdr x)))])))
|
||||||
(lambda (e r mr)
|
(lambda (e r mr)
|
||||||
(syntax-match e ()
|
(syntax-match e ()
|
||||||
[(_ x)
|
[(_ x)
|
||||||
|
|
Loading…
Reference in New Issue