How to generate C-- inside an Haskell program

Hi,
I am taking the opportunity of some movements on the mailing-list to ask 
this question.

I have translated Paul Govereau's Tiger compiler from O'Caml to Haskell 
(and Haskell's tools, Alex and Happy). It works and produces roughly the 
same C-- output as the original.
In this compiler, the C-- code is produced simply by writing code to a file.
Now I would like to generate C-- using modules which have probably been 
developped in the (unfinished) part of GHC dealing with C--. Is there 
any documentation about these modules, or are there some examples 
available in the CVS tree that I can take as models ?
Thanks,
Alain