[C2hs] a new C parser

Manuel M T Chakravarty chak at cse.unsw.edu.au
Sun Feb 18 21:08:21 EST 2007


Duncan Coutts:
> I posted some time ago about a plan to make a new C parser that would
> correctly deal with the typedef problem and then to try some automated
> testing by making a gcc wrapper. I've now mostly done that.
> 
> Currently I can parse almost all of the Linux kernel, glibc, GNU
> binutils, and the C code produced by ghc when it compiles itself.
[..]
> So there are a few things to do, one is to continue testing large
> amounts of C code. I intend to include cc-wrapper in c2hs (or perhaps do
> it as a c2hs mode via a flag) so that users can do their own testing and
> provide a way to give detailed bug reports.
> 
> I haven't checked yet that the new C parser doesn't break things when
> doing the full .chs -> .hs translations. Also, I've not extended the
> guts of c2hs to understand any of these new language extensions so
> trying to bind things which really use them may not work.
> 
> Then I need to start merging the new parser into the darcs version of
> c2hs. I'll try and do this as a series of small understandable patches.

Wow, Duncan, you are a hero!!

Thanks for all that fantastic work.

Manuel




More information about the C2hs mailing list