Changes between Version 6 and Version 7 of TypeNats/MatchingOnNats


Ignore:
Timestamp:
Sep 23, 2012 4:06:00 AM (3 years 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