Can compiler macros make use of type declarations?

[Stelian Ionescu]

> 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.