124 typesAndVars2C b (TypesAndVars ts) = liftM vcat $ mapM (tvar2C b) ts

   124 typesAndVars2C b (TypesAndVars ts) = liftM vcat $ mapM (tvar2C b) ts

   125 

   125 

   126 uses2C :: Uses -> State RenderState Doc

   126 uses2C :: Uses -> State RenderState Doc

   127 uses2C uses@(Uses unitIds) = do

   127 uses2C uses@(Uses unitIds) = do

   128     mapM_ injectNamespace (Identifier "pas2cSystem" undefined : unitIds)

   128     mapM_ injectNamespace (Identifier "pas2cSystem" undefined : unitIds)

   129     return $ vcat . map (\i -> text $ "#include \"" ++ i ++ ".h\"") $ uses2List uses

   130     return $ vcat . map (\i -> text $ "#include \"" ++ i ++ ".h\"") $ uses2List uses

   130     where

   131     where

   131     injectNamespace (Identifier i _) = do

   132     injectNamespace (Identifier i _) = do

   132         getNS <- gets (flip Map.lookup . namespaces)

   133         getNS <- gets (flip Map.lookup . namespaces)

   133         let f = flip (foldl (\a b -> b:a)) (fromMaybe [] (getNS i))

   134         let f = flip (foldl (\a b -> b:a)) (fromMaybe [] (getNS i))