Changes between Version 6 and Version 7 of TypeNats/MatchingOnNats

Timestamp:

Sep 23, 2012 4:06:00 AM (7 years ago)

Author:

diatchki

Comment:

--

TypeNats/MatchingOnNats

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