----- Original Message ----- From: "Wolfgang Jeltsch - [EMAIL PROTECTED]" Sent: Thursday, December 08, 2005 6:13 PM > > I thought that the original question was about using some kind of uniqueness > type system at an intermediate stage during compiling. Haskell would still > have no uniqueness types but the compiler would infer uniqueness types > internally and use the uniqueness information it gets from this. > Right, that's what I was having in mind. See also http://www.haskell.org/pipermail/haskell-cafe/2005-December/012625.html
Regards, zooloo -- No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.1.371 / Virus Database: 267.13.12/192 - Release Date: 05.12.2005 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe