Changes between Version 6 and Version 7 of TypeNats/MatchingOnNats


Ignore:
Timestamp:
Sep 23, 2012 4:06:00 AM (19 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/MatchingOnNats

    v6 v7  
    5454getField :: Selector n -> Ptr (Struct fields) -> Ptr (Get n fields) 
    5555}}} 
    56 (This is just an example---to make this work for real we'd probably 
    57 have to use a type class, so that we can determine the sizes of struct fields.) 
     56(This is just an example---to make this work for real, we'd probably 
     57have to use a type class so that we can determine the sizes of the struct fields.) 
    5858 
    5959Unfortunately, if `getField` was defined with this type signature, we