On 6/13/07, YC <yinso.chen at gmail.com> wrote:
>> On 6/13/07, Robby Findler <robby at cs.uchicago.edu> wrote:
> >
> > > It is kind of a combination of two intended aspects of the design of
> > > the PL. One: structs should be generative, so that no one can fake
> > > anyone else's structs. Two: modules should be separately compilable,
> > > which means that you have to have separate instantiations of modules
> > > used at compile time (which are then discarded). The second one is
> > > what's covered in the paper mentioned above.
>>> Right - my point is that the combo is probably unexpected (even both work as
> intended), although the thread Ryan alluded to shows this is a known issue
> for a while.
If you're asking if we knew this would happen, then yes. We knew.
Robby