wip: monkey-patch stub. function body.

1 files changed, 41 insertions, 4 deletions

diff --git a/c2haskell.hs b/c2haskell.hs
index 7a345e6..1b3144f 100644
--- a/c2haskell.hs
+++ b/c2haskell.hs
@@ -500,7 +500,7 @@ makeAcceptableDecl (HS.TypeDecl a (DHead b (HS.Ident c signame)) ftyp)
 
 makeSetter d@(CDeclExt (CDecl xs ys pos)) =
     let name = concatMap identToString $ take 1 $ catMaybes $ sym d
-    in setSetterBody ("f_"++name) $ changeReturnValue (const voidReturnType) $ changeArgList (const voidp) $ changeName ("setf_"++) d
+    in setBody (setterBody ("f_"++name)) $ changeReturnValue (const voidReturnType) $ changeArgList (const voidp) $ changeName ("setf_"++) d
 
 changeArgList1 f (CDeclr a xs b c d) = CDeclr a (f xs) b c d
 
@@ -526,8 +526,8 @@ changeReturnValue f (CDeclExt (CDecl xs ys pos)) = (CDeclExt (CDecl (f xs) ys po
 
 voidReturnType = [ CTypeSpec (CVoidType undefNode) ]
 
-setSetterBody name (CFDefExt (CFunDef xs ys zs c d)) = (CFDefExt (CFunDef xs ys zs (setterBody name) d))
-setSetterBody name (CDeclExt (CDecl xs ys pos)) = (CFDefExt (CFunDef xs v [] (setterBody name) pos))
+setBody bdy (CFDefExt (CFunDef xs ys zs c d)) = (CFDefExt (CFunDef xs ys zs bdy d))
+setBody bdy (CDeclExt (CDecl xs ys pos)) = (CFDefExt (CFunDef xs v [] bdy pos))
     where v = case ys of
                 (Just y,_,_):_ -> y
                 _              -> CDeclr Nothing [] Nothing [] pos
@@ -535,7 +535,11 @@ setSetterBody name (CDeclExt (CDecl xs ys pos)) = (CFDefExt (CFunDef xs v [] (se
 makeStub d@(CDeclExt (CDecl xs ys pos)) =
     let oargs:xs = getArgList d
         (args,vs) = makeParameterNames oargs
-    in changeArgList (const $ args:xs) d
+        name = concatMap identToString $ take 1 $ catMaybes $ sym d
+        rval = () -- todo
+    in setBody (stubBody ("f_"++name) vs rval) $ changeArgList (const $ args:xs) d
+
+
 
 parameterIdent :: CDeclaration a -> Maybe Ident
 parameterIdent (CDecl _ xs n) = listToMaybe $ do
@@ -582,6 +586,39 @@ voidp = [ CFunDeclr
      where n = undefNode
 
 
+stubBody name vs rval =
+    CCompound []
+              [ CBlockStmt
+                   (CIf
+                      (CVar (C.Ident name 0 undefNode) undefNode)
+                      (CReturn
+                         (Just
+                            (C.CCall
+                               (CVar (C.Ident name 0 undefNode) undefNode)
+                               vs
+                               undefNode))
+                         undefNode)
+                      (Just
+                         (CExpr
+                            (Just
+                               (C.CCall
+                                  (CVar
+                                     (C.Ident
+                                        "printf"
+                                        0
+                                        undefNode)
+                                     undefNode)
+                                  [ CConst
+                                      (CStrConst
+                                         (cString $ "missing symbol: " ++ name ++ ".\n")
+                                         undefNode)
+                                  ]
+                                  undefNode))
+                            undefNode))
+                      undefNode)
+               ]
+               undefNode
+
 setterBody :: String -> CStatement NodeInfo
 setterBody name =
     CCompound []