- (new-fun ; FUN came from NEW-FUNS, hence is new.
- ;; FUN becomes part of COMPONENT-LAMBDAS now.
- (aver (not (member fun (component-lambdas component))))
- (push fun (component-lambdas component)))
- ;; FIXME: Maybe we don't need this clause?
- ;; The only time I really thought I needed it
- ;; was bug 138, and adding this clause didn't
- ;; fix bug 138 but instead caused all sorts
- ;; of other things to fail downstream...
- #|
- ((eql (lambda-inlinep fun) :inline)
- ;; FUNs marked :INLINE are sometimes in
- ;; COMPONENT-LAMBDAS and sometimes not. I (WHN
- ;; 2002-01-01) haven't figured this one out yet,
- ;; so don't assert anything.
- ;;
- ;; (One possibility: LAMBDAs to represent the
- ;; inline expansions of things which are defined
- ;; elsewhere might not be in COMPONENT-LAMBDAS,
- ;; which LAMBDAs to represent the inline
- ;; expansions of local functions might in
- ;; COMPONENT-LAMBDAS?)
- (values))
- |#
- (t ; FUN is old.
- ;; FUN should be in COMPONENT-LAMBDAS already.
- (aver (member fun (component-lambdas component)))))
- (locall-analyze-fun-1 fun)
- (when (lambda-p fun)
- (maybe-let-convert fun)))))))
+ (new-functional ; FUNCTIONAL came from
+ ; NEW-FUNCTIONALS, hence is new.
+ ;; FUNCTIONAL becomes part of COMPONENT-LAMBDAS now.
+ (aver (not (member functional
+ (component-lambdas component))))
+ (push functional (component-lambdas component)))
+ (t ; FUNCTIONAL is old.
+ ;; FUNCTIONAL should be in COMPONENT-LAMBDAS already.
+ (aver (member functional (component-lambdas
+ component)))))
+ (locall-analyze-fun-1 functional)
+ (when (lambda-p functional)
+ (maybe-let-convert functional)))))))