-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Simon Marlow wrote:
GHC doesn't have any kind of uniqueness analysis right now. It's pretty hard to do in general: imagine a function that takes an array as an argument and delivers an array as a result. It'll probably need two versions: one when the argument is unique, one for when it's not.
What if the compiler might only create the version that requires uniqueness, and callers that don't already have uniqueness must make a copy? (or that could be a trivial wrapper function alongside the main uniqueness-requiring version). Would this be at all significantly worthwhile? Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFF9BRtHgcxvIWYTTURAmDnAJ9+e5M5k6PmmfHJwqpZrsIopNX5tQCg06rk CRsmtjedyOJ1ARvYijYUCp4= =abyA -----END PGP SIGNATURE-----