> That's a reasonable critique : its hard to enforce uniqueness, in the > type system in Haskell, -- I'd be interesting to see approaches that > avoid extending the compiler.
Isn't the compiler already "modified" in a way to deal with the RealWorld type that is used in the IO monad? Surely the RealWorld is unique... Regards, Peter Verswyvelen _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
