Michael Swan michael-swan

## Alloc.hs
allocaBytes :: MonadIO m => Int -> (Ptr a -> m b) -> m b
allocaBytes (I# size) action = do
     barr# <- liftIO $ IO $ \ s0 ->
       case newPinnedByteArray# size s0      of { (# s1, mbarr# #) ->
       case unsafeFreezeByteArray# mbarr# s1 of { (# s2, barr#  #) -> barr#  } }
     ret <- action (Ptr (byteArrayContents# barr#))
     liftIO $ IO $ \ s3 ->
       case touch# barr# s3 of { s4 -> (# s4, ret #) }

## keybase.md

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                michael-swan
                / keybase.md
            
            
              Created
              March 9, 2018 04:51
            
          
        
      
        
  
      
    Keybase proof

I hereby claim:

I am michael-swan on github.
I am michael_swan (https://keybase.io/michael_swan) on keybase.
I have a public key ASA8oHHAcRUSuNZxknsKo4gLLkeGB7fY9-VGFLF26aKu0go

To claim this, I am signing this object:
	allocaBytes :: MonadIO m => Int -> (Ptr a -> m b) -> m b
	allocaBytes (I# size) action = do
	barr# <- liftIO $ IO $ \ s0 ->
	case newPinnedByteArray# size s0 of { (# s1, mbarr# #) ->
	case unsafeFreezeByteArray# mbarr# s1 of { (# s2, barr# #) -> barr# } }
	ret <- action (Ptr (byteArrayContents# barr#))
	liftIO $ IO $ \ s3 ->
	case touch# barr# s3 of { s4 -> (# s4, ret #) }