racket/collects/compiler/demodularizer
Matthew Flatt e97bb74005 add experimental support for "phaseless" modules
The intent is to support phase-crossing data such as the `exn:fail:syntax'
structure type that is instantiaed by macros and recognized by contexts
that use `eval' or `expand'. Phaseless modules are highly constrained,
however, to avoid new cross-phase channels, and a module is inferred to
be phaseless when it fits syntactic constraints.

I've adjusted `racket/kernel' and improved its documentation a little
so that it can be used to implement a phaseless module (which can
import only from other phaseless modules).

This change also adds a `flags' field to the `mod' structure type
from `compiler/zo-structs'.

original commit: 899a3279c2
2013-02-26 14:55:28 -07:00
..
alpha.rkt #lang racket' -> #lang racket/base' conversions in demodularizer. 2012-11-07 08:03:45 -05:00
batch.rkt #lang racket' -> #lang racket/base' conversions in demodularizer. 2012-11-07 08:03:45 -05:00
gc-toplevels.rkt fix compiler/zo-marshal 2012-11-15 06:18:05 -07:00
merge.rkt add experimental support for "phaseless" modules 2013-02-26 14:55:28 -07:00
module.rkt add experimental support for "phaseless" modules 2013-02-26 14:55:28 -07:00
mpi.rkt fix demod for submodules 2012-11-12 07:47:30 -07:00
nodep.rkt add experimental support for "phaseless" modules 2013-02-26 14:55:28 -07:00
replace-modidx.rkt #lang racket' -> #lang racket/base' conversions in demodularizer. 2012-11-07 08:03:45 -05:00
update-toplevels.rkt fix compiler/zo-marshal 2012-11-15 06:18:05 -07:00
util.rkt #lang racket' -> #lang racket/base' conversions in demodularizer. 2012-11-07 08:03:45 -05:00