Ashley Yakeley wrote: >Ganesh Sittampalam wrote: >> In any case, what I'm trying to establish below is that it should be a >> safety property of <- that the entire module (or perhaps mutually >> recursive groups of them?) can be duplicated safely - with a new name, >> or as if with a new name - and references to it randomly rewritten to
>> the duplicate, as long as the result still type checks. > That's not acceptable. This would cause Unique to break, > as its MVar would be created twice. It would also mean > that individual Unique and IOWitness values created by > <- would have different values depending on which bit > of code was referencing them. It would render the extension > useless as far as I can see. The result wouldn't typecheck if two Unique values that now pointed to the two different modules were compared. Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ============================================================================== _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe