[C2hs] patch applied (c2hs): Rename terminal ' extension'
to ' __extension__'
duncan.coutts at worc.ox.ac.uk
Sun Apr 15 06:34:37 EDT 2007
Sun Apr 15 03:14:27 PDT 2007 Duncan Coutts <duncan.coutts at worc.ox.ac.uk>
* Rename terminal 'extension' to '__extension__'
That's what's it's really called anyway.
M ./c2hs/c/CParser.y -8 +8
More information about the C2hs