Fix lots of indentation mistakes.

(Found by my ayatollah script...)

original commit: af6be85ff5
This commit is contained in:
Eli Barzilay 2013-03-14 07:15:43 -04:00
parent bd39158cab
commit caa7435c1a

View File

@ -134,18 +134,18 @@
(list-ref toplevel-remap n))) (list-ref toplevel-remap n)))
(unless (= (length toplevel-remap) (unless (= (length toplevel-remap)
(length mod-toplevels)) (length mod-toplevels))
(error 'merge-module "Not remapping everything: ~S ~S" (error 'merge-module "Not remapping everything: ~S ~S"
mod-toplevels toplevel-remap)) mod-toplevels toplevel-remap))
(log-debug (format "[~S] Incrementing toplevels by ~a" (log-debug (format "[~S] Incrementing toplevels by ~a"
name name
toplevel-offset)) toplevel-offset))
(log-debug (format "[~S] Incrementing lifts by ~a" (log-debug (format "[~S] Incrementing lifts by ~a"
name name
lift-offset)) lift-offset))
(log-debug (format "[~S] Filtered mod-vars from ~a to ~a" (log-debug (format "[~S] Filtered mod-vars from ~a to ~a"
name name
(length mod-toplevels) (length mod-toplevels)
(length new-mod-toplevels))) (length new-mod-toplevels)))
(values (max max-let-depth mod-max-let-depth) (values (max max-let-depth mod-max-let-depth)
(merge-prefix top-prefix new-mod-prefix) (merge-prefix top-prefix new-mod-prefix)
(lambda (top-prefix) (lambda (top-prefix)