Subject: Re: Macros in Common Lisp, Scheme, and other languages
From: Erik Naggum <>
Date: 07 Sep 2002 16:44:03 +0000
Newsgroups: comp.lang.lisp,comp.lang.scheme,comp.lang.functional
Message-ID: <>

* Paul F. Dietz
| Beyond that, it would be nice if CL macro forms could be analyzed in
| some way before being expanded, so one could do type propagation before
| or interleaved with macro expansion.

  Since the compiler expands the macro and then works on the resulting code
  with all type propagation from the environment available for the existing
  bindings, I am not sure what this means.

  The purpose of environment information is to make it possible to make
  macro-expansion decisions in addition to the ones the compiler makes after

Erik Naggum, Oslo, Norway

Act from reason, and failure makes you rethink and study harder.
Act from faith, and failure makes you blame someone and push harder.