- C2hs - Haskell.org

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 13 Mar '07

13 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 09 Mar '07

09 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

help a newbie?
by Eric Sessoms 25 Feb '07

25 Feb '07

I'm working on a problem that looks, to my eye, identical to the example in section 2.10 of the documentation http://www.cse.unsw.edu.au/~chak/haskell/c2hs/docu/c2hs-2.html#ss2.10 --- cut here --- module Test where #c typedef struct { int dummy; } fitsfile; int ffclos(fitsfile *fptr, int *status); #endc {# pointer *fitsfile as FitsFile newtype #} {# fun ffclos { `FitsFile', `Int' } -> `Int' #} --- cut here -- But running c2hs I get an error message that I haven't been able to make use of: Test.chs:13: (column 17) [ERROR] >>> Missing "in" marshaller! There is no default marshaller for this combination of Haskell and C type: Haskell type: FitsFile C type : (FitsFile) I'm particularly puzzled because the corresponding "open" function (much more complex, omitted for brevity) that marshals a **fitsfile doesn't give me any problems. Suggestions? Thanks much, Eric

3 4

patch applied (c2hs): Parse C99 compound statements with mixed declarations and statements
by Duncan Coutts 23 Feb '07

23 Feb '07

Fri Feb 23 02:47:40 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Parse C99 compound statements with mixed declarations and statements Rather than the K&R/C89 requirement that declarations precede statements. The AST is now a list of eithers rather than two lists. Note also that we're now saving and restoring the set of typedef'ed identifiers as we enter and leave the scope of the compound statement. M ./c2hs/c/CParser.y -15 +30

1 0

patch applied (c2hs): Expand the enumerator_list and eliminate the enumerator_list_ production
by Duncan Coutts 23 Feb '07

23 Feb '07

Fri Feb 23 02:38:16 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Expand the enumerator_list and eliminate the enumerator_list_ production This is more in keeping with the standard C99 grammar. M ./c2hs/c/CParser.y -10 +8

1 0

patch applied (c2hs): Use an optional expression production to simplify a couple productions.
by Duncan Coutts 23 Feb '07

23 Feb '07

Fri Feb 23 02:34:28 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Use an optional expression production to simplify a couple productions. M ./c2hs/c/CParser.y -13 +10

1 0

patch applied (c2hs): Parse string literals more in the spirit of C99
by Duncan Coutts 22 Feb '07

22 Feb '07

Thu Feb 22 16:36:45 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Parse string literals more in the spirit of C99 M ./c2hs/c/CParser.y -27 +23

1 0

patch applied (c2hs): Tidy up parsing of comma expressions
by Duncan Coutts 22 Feb '07

22 Feb '07

Thu Feb 22 16:31:38 PST 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Tidy up parsing of comma expressions M ./c2hs/c/CParser.y -7 +9

1 0