Changes between Version 23 and Version 24 of TypeNats/Basics

Show
Ignore:
Timestamp:
03/20/12 17:59:59 (14 months 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