Was Iavor/Mark's paper ever implemented as a GHC extension? "Strongly Typed Memory Areas" http://galois.com/down/2006_ID_Strongly.pdf
-- /jve
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe