Changes between Version 23 and Version 24 of TypeNats/Basics


Ignore:
Timestamp:
Mar 21, 2012 12:59:59 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Basics

    v23 v24  
    9393{{{
    9494memset :: Storable a => ArrPtr n a -> a -> TNat n -> IO ()
    95 memset (ArrPtr p) a n = mapM_ (\i -> pokeElemOff p i a)
    96                                    [ 0 .. fromIntegral (tNatInteger n - 1) ]
     95memset (ArrPtr p) a n = mapM_ (\i -> pokeElemOff p i a) [ 0 .. fromIntegral (tNatInteger n - 1) ]
    9796}}}
    9897