Changes between Version 3 and Version 4 of TypeNats/SingletonsAndExistentials


Ignore:
Timestamp:
Apr 17, 2012 8:08:35 PM (3 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 ()