Changes between Version 3 and Version 4 of TypeNats/SingletonsAndExistentials


Ignore:
Timestamp:
Apr 17, 2012 8:08:35 PM (2 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/SingletonsAndExistentials

    v3 v4  
    44 
    55memset_c :: ArrPtr n a -> a -> Sing n -> IO () 
    6 memset_c (ArrPtr p) a n = forM_ [ 1 .. fromSing n - 1 ] $ \i -> 
    7    pokeElemOff p (fromIntegral i) a 
     6memset_c (ArrPtr p) a n = 
     7  forM_ [ 1 .. fromSing n - 1 ] $ \i -> 
     8    pokeElemOff p (fromIntegral i) a 
    89 
    910memset :: SingI n => ArrPtr n a -> a -> IO ()