[email protected] wrote:

> Why is static analysis a problem? The compiler can tell whether
> something is a function or a macro by looking at it's source code. If
> it's from a library, look at the source code of a library or the
> library should flag whether a procedure is a function or a macro.

  For example, how would something like

    (define (c f x) (f x))

  be compiled?

  Also, perhaps more importantly, how
  would (apply f x) work when f is a fexpr?

  ---Vassil.


-- 
Would you like your metaphors shaken or stirred?

Vassil Nikolov | Васил Николов | <[email protected]>


_______________________________________________
Scheme-reports mailing list
[email protected]
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports

Reply via email to