> 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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to