Re: [racket-users] Fully-expanding a define form in its definition context

2015-05-07 Thread Matthew Flatt
The problem that you're hitting is that the `#%module-begin` form of `racket` forces partial expansion of the module body to detect definitions before it proceeds to expand expressions. That's why `define-values` complains about a full expansion in context; it's not supposed to be fully expanded, b

[racket-users] Fully-expanding a define form in its definition context

2015-05-04 Thread Scott Moore
Hi, I'm trying to write a macro that fully-expands define forms with the goal of doing some static checking (and thus want the code in racket core so that I know what I'm looking at). Ideally, this macro would work in any context where a define form works. Unfortunately, I'm having a great deal of