- C2hs - Haskell.org

patch applied (c2hs): Use a newtype for building reversed lists
by Duncan Coutts 23 Feb '07

23 Feb '07

Thu Feb 22 16:21:30 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Use a newtype for building reversed lists When building lists up in reverse it's rather easy to forget to reverse them when we get to the top level. So introduce a newtype and operations for reversed lists. This way the type will tell us where we've forgot to reverse (and there were one or two places) M ./c2hs/c/CParser.y -46 +77

1 0

patch applied (c2hs): Oops, missed a few K&R -> C99 section number changes
by Duncan Coutts 23 Feb '07

23 Feb '07

Thu Feb 22 15:00:47 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Oops, missed a few K&R -> C99 section number changes M ./c2hs/c/CParser.y -3 +3

1 0

patch applied (c2hs): Use section names from the C99 report rather than from K&R
by Duncan Coutts 23 Feb '07

23 Feb '07

Thu Feb 22 14:42:21 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Use section names from the C99 report rather than from K&R Many grammar productions have notes which refer to the C spec, since we're targeting C99 now make them refer to the section numbers in the C99 report rather than from K&R. M ./c2hs/c/CParser.y -42 +42

1 0

patch applied (c2hs): Remove GNU C attributes from the grammar
by Duncan Coutts 23 Feb '07

23 Feb '07

Thu Feb 22 14:30:41 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Remove GNU C attributes from the grammar since they are now recognised and discarded by the lexer. M ./c2hs/c/CParser.y -16 +13

1 0

patch applied (c2hs): Dump perfect attribute order compatability with the previous parser
by Duncan Coutts 20 Feb '07

20 Feb '07

Tue Feb 20 01:40:55 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Dump perfect attribute order compatability with the previous parser We can't preserve this anyway so no need for keeping the code that tries to do so. M ./c2hs/c/CParser.y -11 +7

1 0

patch applied (c2hs): Oops, missing ','
by Duncan Coutts 20 Feb '07

20 Feb '07

Tue Feb 20 01:39:40 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Oops, missing ',' M ./c2hs/c/CParserMonad.hs -1 +1

1 0

patch applied (c2hs): Ignore all __attribute__ expressions in the lexer
by Duncan Coutts 20 Feb '07

20 Feb '07

Mon Feb 19 14:45:49 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Ignore all __attribute__ expressions in the lexer GNU __attribute__ expressions take the form of: __attribute__ '(' '(' ... ')' ')' where the stuff in the middle may also have nested '(' ')' brackets. So upon getting an __attribute__ token, the lexer now skips tokens counting bracket nesting depth and stops when it's seen the full attribute args. So the parser now never sees attributes which is good because they greatly complicate the grammar of declarations. On the other hand it's bad because later on we might need the info from some attributes. So we'll likely have to revisit this issue. M ./c2hs/c/CLexer.x -2 +14

1 0

patch applied (c2hs): Add shadowTypedef operation to parser monad
by Duncan Coutts 19 Feb '07

19 Feb '07

Mon Feb 19 12:35:13 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Add shadowTypedef operation to parser monad Local vars in inner scopes can shadow type names so we need to be able to adjust the current typedef identifier set accordingly (ie delete identifiers from the typedef ident set). For example: typedef int X; /* X declared as a type name */ void foo() { int X; X = X +1 } /* X redeclared as a local var */ M ./c2hs/c/CParserMonad.hs -1 +11

1 0

patch applied (c2hs): Rename vars and reorder exports in ParserMonad module
by Duncan Coutts 19 Feb '07

19 Feb '07

Mon Feb 19 12:33:58 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Rename vars and reorder exports in ParserMonad module M ./c2hs/c/CParserMonad.hs -12 +12

1 0

patch applied (c2hs): Add scope history and enterScope/leaveScope
by Duncan Coutts 19 Feb '07

19 Feb '07

Mon Feb 12 11:00:42 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Add scope history and enterScope/leaveScope entering a scope pushes the current tyident set into a history stack leaving a scope pops that stack. M ./c2hs/c/CParserMonad.hs -1 +15

1 0