[racket-users] ECOOP/PLDI 2017 in Barcelona / Call for Student Participation

2017-02-27 Thread Tobias Grosser
ECOOP/PLDI 2017 in Barcelona / Call for Student Participation http://conf.researchr.org/home/pldi-ecoop-2017 Interested in hearing the latest about Scala, Perl, Clojure, Rust, Swift, JavaScript, and many many other languages and systems? Curious about new ideas such as gradual types, JIT compile

[racket-users] syntax-local-lift-expression vs. syntax-local-lift-require

2017-02-27 Thread Matthew Butterick
Is there a simple way to lift a `require` form to the top level of a module? i.e., in the example below, is there something that would replace `WHAT-MAGIC-GOES-HERE?` to make it work? I understand that `syntax-local-lift-expression` won't work. But `syntax-local-lift-require`, as best I can di

[racket-users] Re: syntax-local-lift-expression vs. syntax-local-lift-require

2017-02-27 Thread gfb
On Monday, 27 February 2017 16:40:50 UTC-5, Matthew Butterick wrote: > Is there a simple way to lift a `require` form to the top level of a module? > i.e., in the example below, is there something that would replace > `WHAT-MAGIC-GOES-HERE?` to make it work? > > I understand that `syntax-local-

Re: [racket-users] syntax-local-lift-expression vs. syntax-local-lift-require

2017-02-27 Thread Matthew Butterick
> On Feb 27, 2017, at 4:51 PM, Jay McCarthy wrote: > > You don't want local-require? I don't think so — the `require` forms can be nested anywhere in the program. I want them to jump to the top level, and have their usual "global" effect. > On Feb 27, 2017, at 5:34 PM, gfb wrote: > > If y

Re: [racket-users] syntax-local-lift-expression vs. syntax-local-lift-require

2017-02-27 Thread Matthew Flatt
At Mon, 27 Feb 2017 18:43:28 -0800, Matthew Butterick wrote: > > On Feb 27, 2017, at 5:34 PM, gfb wrote: > > > > If you want that to be equivalent to having `(require > > math/number-theory)` at the top-level then I'm not sure the precise > > semantics: should it affect the meaning of already-tra