[Haskell-cafe] Re: [Haskell] Simple IO Regions

[Keean Schupke]

Andrew Pimlott wrote:

>>liftR :: (InRegion mark marks) => (h -> m a) -> Private mark h -> Region marks m a
>>liftR f (Private h) = Region $ f h 
>>    
>>
>
>This is not as safe.  Try modifying your test2.
>  
>
Okay, I missed this... Have renamed the function "unsafeLiftR"... As you 
say still useful for building
libraries provided you do not export the region code from the library 
that uses it.

Of course an alternative is just to have an opaque/abstract handle, and 
not export the data-constructor.

    Keean.