[racket-dev] cross-module function inlining

At Thu, 1 Dec 2011 09:54:36 -0500, Carl Eastlund wrote:
> On Thu, Dec 1, 2011 at 9:49 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> >  (define-values (<id>)
> >    (begin
> >      'compiler-hint:cross-module-inline
> >      <proc-expr>))
> >
> > Yes, this pattern is a hack; I don't have a better idea for the
> > annotation at the moment, but it may change.
> 
> This seems like the kind of thing we normally use syntax properties
> for.  How about we use that symbol as a property key, and make a macro
> that adds it appropriately?

Yes, that's better. I'll push a change to use a syntax property instead
of a `begin' pattern.

I won't add a macro just now, since I'm unsure of the right general
form or whether anyone will want to use it.