wip: monkey-patch setter. Argument list only.

1 files changed, 36 insertions, 0 deletions

diff --git a/c2haskell.hs b/c2haskell.hs
index 4f2644b..0e03cd7 100644
--- a/c2haskell.hs
+++ b/c2haskell.hs
@@ -457,6 +457,7 @@ c2haskell opts cs missings (CTranslUnit edecls _) = do
             forM_ (take 1 $ symbolSource si) $ \d -> do
                 putStrLn $ show $ pretty d
                 putStrLn $ show $ pretty $ makeFunctionPointer d
+                putStrLn $ show $ pretty $ makeSetter d
                 putStrLn $ take 2048 $ ppShow $ everywhere (mkT eraseNodeInfo) <$> makeFunctionPointer d
 
 -- TODO: make idempotent
@@ -496,6 +497,41 @@ changeName f d                              = d
 makeAcceptableDecl (HS.TypeDecl a (DHead b (HS.Ident c signame)) ftyp)
                 =  (HS.TypeDecl a (DHead b (HS.Ident c signame)) (makeFunctionUseIO $ makeAcceptableImport ftyp))
 
+makeSetter d@(CDeclExt (CDecl xs ys pos)) = changeArgList (const voidp) $ changeName ("setf_"++) d
+
+changeArgList1 f (CDeclr a xs b c d) = CDeclr a (f xs) b c d
+
+changeArgList2 f ((a,b,c):zs) = (changeArgList3 f a,b,c):zs
+
+changeArgList3 f (Just (CDeclr a x b c d)) = Just (CDeclr a (f x) b c d)
+
+changeArgList f (CFDefExt (CFunDef xs ys zs c d)) = CFDefExt (CFunDef xs (changeArgList1 f ys) zs c d)
+changeArgList f (CDeclExt (CDecl xs ys pos)) = (CDeclExt (CDecl xs (changeArgList2 f ys) pos))
+
+
+voidp :: [CDerivedDeclarator NodeInfo]
+voidp = [ CFunDeclr
+           (Right ( [ CDecl
+                        [ CTypeSpec (CVoidType n) ]
+                        [ ( Just (CDeclr
+                                     (Just (C.Ident "p" 0 n))
+                                     [ CPtrDeclr [] n ]
+                                     Nothing
+                                     []
+                                     n)
+                              , Nothing
+                              , Nothing
+                              )
+                            ]
+                            n
+                        ]
+                      , False
+                  ))
+           []
+           n]
+     where n = undefNode
+
+
 goMissing db cfun = do
       forM_ (Map.lookup cfun $ syms db) $ \si -> do
         forM_ (take 1 $ symbolSource si) $ \d -> do