RE: [Haskell] memory management

Sounds like region inference to me. (https://secure.wikimedia.org/wikipedia/en/wiki/Region_inference)

Thanks, yes, that's exactly what I had in mind. Is anything like this is done in GHC? Ta, Sam