Changes between Version 6 and Version 7 of TypeNats/MatchingOnNats
- Timestamp:
- Sep 23, 2012 4:06:00 AM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeNats/MatchingOnNats
v6 v7 54 54 getField :: Selector n -> Ptr (Struct fields) -> Ptr (Get n fields) 55 55 }}} 56 (This is just an example---to make this work for real we'd probably57 have to use a type class , so that we can determine the sizes ofstruct fields.)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 the struct fields.) 58 58 59 59 Unfortunately, if `getField` was defined with this type signature, we