"Simon Marlow" <[EMAIL PROTECTED]> writes:
> I'd like to add that while the implementation might be a little unsafe,
> there's no problem in principle with the semantics of top-level IORefs.
> We could add such a thing as a GHC extension, but it would be nice if it
> were an instance of a more general-purpose extension.
Top-level MVars also make sense, the extension should not be limited
to IORefs. But permitting arbitrary values makes unsafePerformIO
official and opens a hole in the type system for polymorphic variables
(can such polymorphism be hidden in an apparently monomorphic datatype?).
--
__("< Marcin Kowalczyk
\__/ [EMAIL PROTECTED]
^^ http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
