Was Iavor/Mark's paper ever implemented as a GHC extension? "Strongly Typed Memory Areas" http://galois.com/down/2006_ID_Strongly.pdf -- /jve -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080918/d76c9db0/attachment.htm