[C2hs] patch applied (c2hs): Rename terminal ' extension' to ' extension'

15 Apr 2007


      Sun Apr 15 03:14:27 PDT 2007  Duncan Coutts <duncan.coutts@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

[C2hs] patch applied (c2hs): Rename terminal &apos; extension&apos; to &apos; __extension__&apos;

Duncan Coutts

[C2hs] patch applied (c2hs): Rename terminal ' extension' to ' extension'