March 2007 - C2hs - Haskell.org

patch applied (c2hs): Move maybe_asm inside declarator productions
by Duncan Coutts 21 Mar '07

21 Mar '07

Tue Mar 20 05:25:32 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Move maybe_asm inside declarator productions M ./c2hs/c/CParser.y -10 +12

1 0

patch applied (c2hs): Add identifier non-termnal to allow tyident in more places
by Duncan Coutts 21 Mar '07

21 Mar '07

Tue Mar 20 05:19:42 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Add identifier non-termnal to allow tyident in more places 'identifier' is an 'ident' token or a 'tyident' token. Many places that previously used just ident can now use identifier instead which allows tyident's to be used in those places. Some that should be allowed to be tyident still must be ident-only because otherwise it'd introduce many shift-reduce conflicts. Fixing those requires merging Roskind's grammar for declaraions. M ./c2hs/c/CParser.y -17 +17

1 0

patch applied (c2hs): Move trailing ' ; ' inside declaration productions
by Duncan Coutts 21 Mar '07

21 Mar '07

Tue Mar 20 04:55:18 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Move trailing ';' inside declaration productions M ./c2hs/c/CParser.y -6 +6

1 0

patch applied (c2hs): move asm external decl production to a better non-terminal
by Duncan Coutts 21 Mar '07

21 Mar '07

Tue Mar 20 04:49:42 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * move asm external decl production to a better non-terminal now a production of external_declaration rather than translation_unit M ./c2hs/c/CParser.y -2 +1

1 0

patch applied (c2hs): Reorder some non-terminal defs to reflect C99 order better
by Duncan Coutts 21 Mar '07

21 Mar '07

Tue Mar 20 04:46:36 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Reorder some non-terminal defs to reflect C99 order better and to make merging with the new grammar easier M ./c2hs/c/CParser.y -35 +35

1 0

patch applied (c2hs): just whitespace / formatting change
by Duncan Coutts 15 Mar '07

15 Mar '07

Thu Mar 15 04:25:42 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * just whitespace / formatting change M ./c2hs/c/CParser.y -4 +8

1 0

patch applied (c2hs): Change the AST for compound statements to reflect C99
by Duncan Coutts 15 Mar '07

15 Mar '07

Thu Mar 15 04:23:36 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Change the AST for compound statements to reflect C99 Fixes compile error, the parser was already converted but this AST change was missing. M ./c2hs/c/CAST.hs -4 +4

1 0

patch applied (c2hs): Make the C2HS.hs source module build with GHC 6.6
by Duncan Coutts 15 Mar '07

15 Mar '07

Sat Mar 10 07:25:09 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Make the C2HS.hs source module build with GHC 6.6 withObject has been deprecated for ages. M ./C2HS.hs -4 +4

1 0

Re: [Haskell-cafe] c2hs and pthreadtypes.h
by Duncan Coutts 14 Mar '07

14 Mar '07

On Wed, 2007-03-14 at 09:56 +1100, Donald Bruce Stewart wrote: > magnus: > > I'm trying to use c2hs but get stuck when including sys/types.h (though > > the problem really resides in pthreadtypes.h): > > > > % ./Setup.hs build -v > > Preprocessing executables for kowasu-0.1... > > /usr/bin/c2hs -C -D__GLASGOW_HASKELL__=606 -C -Icsrc -o src/Kowasu/PTrace.hs src/Kowasu/PTrace.chs > > c2hs: Error in C header file. > > > > /usr/include/bits/pthreadtypes.h:69: (column 6) [FATAL] > > >>> Syntax error! > > The symbol `;' does not fit here. > > > > The part of pthreadtypes.h where it chokes seems to be > > > > 65 __extension__ union > > 66 { > > 67 int __spins; > > 68 __pthread_slist_t __list; > > 69 }; > > 70 } __data; > > 71 char __size[__SIZEOF_PTHREAD_MUTEX_T]; > > 72 long int __align; > > 73 } pthread_mutex_t; > > > > Any pointers on how to solve this? (Besides manually resolving all > > defined types down to the C builtins.) > > > > /M > > Does it help to use the darcs version of c2hs? I've heard rumours that > it can parse the linux kernel now.. Yes, I do have a C parser that can parse the linux kernel and that of course includes anonymous structs and unions. Currently I'm part way through merging these changes into the darcs version of c2hs. So, Magnus, you can wait 'til I finish merging my changes into c2hs or you can have a go yourself if you're desperate. I posted the full code recently: http://haskell.org/~duncan/c2hs/c2hs-newparser.tar.gz That's just a snapshot of my development tree, so don't expect it to work 'out of the box'. In particular the rest of c2hs doesn't understand the new extensions that the parser can now handle. Duncan

1 0

Compiling c2hs from darcs
by Sakari I Jokinen 10 Mar '07

10 Mar '07

After getting c2hs from darcs and trying to compile it with ghc 6.6 I get the following error: [31 of 38] Compiling CParser ( c2hs/c/CParser.hs, dist/build/c2hs/c2hs-tmp/CParser.o ) c2hs/c/CParser.hs:958:45: Couldn't match expected type `CDecl' against inferred type `Either CDecl CStat' Expected type: Reversed [CDecl] Inferred type: Reversed [Either CDecl CStat] In the first argument of `reverse', namely `happy_var_3' In the first argument of `CCompound', namely `(reverse happy_var_3)' Is this a known problem or should the version from darcs work and I am just missing something? Best regards, Sakari

2 1