March 2007 - C2hs - Haskell.org

patch applied (c2hs): Remove old C parser test prog
by Duncan Coutts 26 Mar '07

26 Mar '07

Sun Mar 25 04:00:35 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Remove old C parser test prog Will add new ones soon. R ./c2hs/c/tests/Main.hs

1 0

patch applied (c2hs): Add C99 basic types _Bool and _Complex
by Duncan Coutts 26 Mar '07

26 Mar '07

Sun Mar 25 03:58:57 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Add C99 basic types _Bool and _Complex M ./c2hs/c/CAST.hs +6 M ./c2hs/c/CLexer.x +2 M ./c2hs/c/CParser.y +4 M ./c2hs/c/CTokens.hs +4

1 0

patch applied (c2hs): Allow anonymous structures and unions nested inside other structs/unions
by Duncan Coutts 24 Mar '07

24 Mar '07

Fri Mar 23 06:09:37 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Allow anonymous structures and unions nested inside other structs/unions This is a fiarly commonly used GNU extension. Some glibc headers use it. M ./c2hs/c/CParser.y +19

1 0

patch applied (c2hs): Allow redundant ' ; ' in translation units and structure declarations.
by Duncan Coutts 24 Mar '07

24 Mar '07

Fri Mar 23 06:08:33 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Allow redundant ';' in translation units and structure declarations. M ./c2hs/c/CParser.y +3

1 0

patch applied (c2hs): Don' t use precedence on if, just expect one s/r conflict
by Duncan Coutts 24 Mar '07

24 Mar '07

Fri Mar 23 06:07:08 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Don't use precedence on if, just expect one s/r conflict This is what Roskind does, just to make it explicit rather than hiding it using precedence. It's not important really. M ./c2hs/c/CParser.y -4 +2

1 0

patch applied (c2hs): Trim imports
by Duncan Coutts 24 Mar '07

24 Mar '07

Fri Mar 23 06:06:53 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Trim imports M ./c2hs/c/CParser.y -3 +1

1 0

patch applied (c2hs): Document the declaration grammar
by Duncan Coutts 23 Mar '07

23 Mar '07

Thu Mar 22 05:27:50 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Document the declaration grammar Many of the productions specify various sequences of type qualifiers, storage class specifiers, type names and struct/union/enum declaration specifiers. These are quite hard to specify consisely with an ordinary context free grammar so it's quite hard to follow. To make it easier to understand I've added an extended grammar syntax which allows sequences with constraints on the number of occurences of items in the sequence. This allows these grammars to be specified very concisely. So hopefully that makes it easier for people to follow. I certainly didn't understand the grammar until I re-specified it this way. Also updated a bunch of other misc docs. M ./c2hs/c/CParser.y -21 +142

1 0

patch applied (c2hs): Merge the Roskind declaration/declarator grammar
by Duncan Coutts 23 Mar '07

23 Mar '07

Thu Mar 22 04:44:11 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Merge the Roskind declaration/declarator grammar Replace all the non-terminals and productions involved in the C declaration and declarator grammar with ones based on those from James Roskind's classic C grammar. The main point is that it allows us to recognise identifiers and type-identifiers in all the right places. For example it allows us to correctly deal with cases where type identiers get re-declared as function parameters or local vars. M ./c2hs/c/CParser.y -132 +519

1 0

patch applied (c2hs): Misc trivial changes to make merging easier
by Duncan Coutts 23 Mar '07

23 Mar '07

Wed Mar 21 03:09:32 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Misc trivial changes to make merging easier Put a comment in the right place and collect identifiers in identifier lists, even though at the moment we end up discarding them later. M ./c2hs/c/CParser.y -6 +6

1 0

patch applied (c2hs): Rename storage_class_specifier -> storage_class
by Duncan Coutts 23 Mar '07

23 Mar '07

Wed Mar 21 03:07:05 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Rename storage_class_specifier -> storage_class M ./c2hs/c/CParser.y -4 +4

1 0