Commit Graph

7 Commits

Author SHA1 Message Date
Vincent St-Amour
d76396e362 Remove dependency on unstable/struct. 2015-08-19 14:56:51 -05:00
Vincent St-Amour
f8f1744bfb Move unstable/class-iop to racket/class/iop. 2015-07-28 17:30:50 -05:00
Matthew Flatt
3ad3f9a23c adapt observation of expander
There are two main changes:

 * Expansion of internal-definition contexts uses a single
   "rename" step (which is really an "add scope" step) at the
   start of expansion, instead once for each body form.

   Instead of changing the structures, the derivation parser just
   pushes the single rename set down to all the body forms.

 * Expansion of a `let`, `letrec`, or `letrec-syntaxes+values` form
   parses its body as a sequence instead of (reundantly) as an
   internal-defition block if the form was itself generated from
   an `internal-detiniion` block.

   The derivation parser handles this change by just allowing
   block or sequence where only a block was allowed before.
2015-04-12 08:04:37 -06:00
Matthew Flatt
dfcbf87704 repair "mark" list extraction 2015-04-12 07:34:17 -06:00
Matthew Flatt
8ea555aaee fix interaction of local-expand use and defn context
Since `parser` works in an expression context, it's simplest
to force an expression context.
2015-03-31 08:24:19 -06:00
Matthew Flatt
97dfccd487 eliminate use of syntax-local-get-shadower
The old use relied on a more or less accidental correspondence between
the `$` variables introduced by `parser` and get-shadower before those
variables are bound. Get rid of it in favor of normal hygiene bending.
2015-03-31 08:23:53 -06:00
Sam Tobin-Hochstadt
6e98d0a8ac Remove extra directories. 2014-12-01 23:50:21 -05:00