Re: Can compiler macros make use of type declarations?

Compiler macros are expanded too early to get inferred type info. For example,

(let ((y 10)) (loop (bar y) (setq y :not-a-fixnum)))

Would it be against the standard to do some type analysis before expanding compiler macros ? Without that, compiler macros can only make optimization decisions based on arguments which are literal values, which is still useful but not in all cases. -- Stelian Ionescu a.k.a. fe[nl]ix Quidquid latine dictum sit, altum videtur.