- C2hs - Haskell.org

patch applied (c2hs): Change handling of gnu __extension__ keyword
by Duncan Coutts 28 Jan '07

28 Jan '07

Mon May 29 06:32:54 PDT 2006 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Change handling of gnu __extension__ keyword GNU C allows __extension__ in various places we don't at the moment. This is a bit tricky to follow exactly without getting lots of shift/reduce conflicts. So what I've got here is a compromise. Sadly allowing __extension__ in expressions conflicts with it's use in declerations. So, instead of allowing __extension__ in any declaration I only allow it in an external decleration (top level). Fortunately I think that almost all uses of __extension__ in declarations are actually external declarations. So I think this is the right compromise. M ./c2hs/c/CParser.y -18 +9

1 0

patch applied (c2hs): Try parsing C99 compound literals
by Duncan Coutts 28 Jan '07

28 Jan '07

Mon May 29 03:50:14 PDT 2006 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Try parsing C99 compound literals M ./c2hs/c/CAST.hs +4 M ./c2hs/c/CNames.hs +1 M ./c2hs/c/CParser.y +5

1 0

A little documentation patch
by Arjan Oosting 28 Jan '07

28 Jan '07

Hi, As maintainer of the Debian packages of c2hs, I received a bug report about a little error in the documentation. The documentation erroneously says that context hooks have three parameters. The attached patch should fix this. Greetings Arjan

2 1

Is the darcs repository consistent?
by Harold Wadleigh 02 Jan '07

02 Jan '07

I'm having trouble fetching the c2hs repository. When getting or attempting to repair I'm seeing: Applying patch 107 of 175... Unapplicable patch: Wed May 18 03:42:11 Eastern Daylight Time 2005 chak(a)cse.unsw.edu.au * rearranging darcs repo darcs failed: Error applying hunk to file ./base/todo I'm using windows/cygwin. Anyone else seeing this? --Harold

2 1

Problems with c2hs, including `__attribute__' symbol in _mingw.h
by Vivian McPhail 12 Oct '06

12 Oct '06

Hi, running GHC 6.5.20060831, mingw 1) darcs repo error: Patch 107 can't be applied. Some problem with case-sensitivity. Issue234 of darcs is a bugs report on case-sensitivity, and Heffalump on #darcs is examining this problem. Heffalump has created a repo that fixes this problem: HYPERLINK "http://urchin.earth.li/darcs/ganesh/c2hs"http://urchin.earth.-li/darcs/gane sh/c2hs 2) ./Setup.hs install error: $ ./Setup.hs install Installing: C:\Apps\MSYS\1.0\local\Haskell\c2hs-0.14.6\ghc-6.5.20060831 & C:\Apps\MSYS\1.0\local\Haskell\bin c2hs-0.14.6... '.' is not recognized as an internal or external command, operable program or batch file. Some problem with backslashes and windows. I got around this problem by installing by hand. 3) syntax error $ c2hs --cppopts=-I/c/Apps/MATLAB704/extern/include --include=c:/Apps/MATLAB704/extern/include matrix.h MxMatrix.chs c2hs.exe: Generic fatal error. C:/Apps/MSYS/1.0/mingw/bin/../lib/gcc/mingw32/3.4.2/../../../../include/floa t.h:125: (column 8) [FATAL] >>> Syntax error! The symbol `__attribute__' does not fit here. Cheers, Vivian -- No virus found in this outgoing message. Checked by AVG Free Edition. Version: 7.1.407 / Virus Database: 268.12.11/460 - Release Date: 1/10/2006

2 5

cant figure out how to use c2hs, what am i doing wrong?
by Anatoly Yakovenko 10 Oct '06

10 Oct '06

I have a simple fftw wrapper which c2hs builds into a .hs file, but when i try to use it i get an error: $ ghc -v --make -fffi Main.hs Glasgow Haskell Compiler, Version 6.4.2, for Haskell 98, compiled by GHC version 6.4.2 Using package config file: /usr/lib/ghc-6.4.2/package.conf Hsc static flags: -static *** Chasing dependencies: Chasing modules from: Main.hs *** Deleting temp files Deleting: Fftw.chs:2:0: parse error on input `import' here is my Fftw.chs: module Fftw (fftwNew, fftwDestroy, fftwExecute) import C2HS #include "fftw3.h" data Fftw = Fftw Integer CPtrDiff CPtrDiff CPtrDiff fftwNew::IO Integer -> Fftw fftwNew size = do input <- {#call unsafe fftw_malloc#} 8*size output <- {#call unsafe fftw_malloc#} 8*size plan <- {#call unsafe fftw_plan_r2r_1d#} size input output 0 0 return !$ Fftw size input output plan fftwSize::Fftw -> Integer fftwSize (Fftw size _ _ _ ) = size fftwDestroy::Fftw -> IO () fftwDestroy (Fftw _ input output plan) = do {#call unsafe fftw_free#} input {#call unsafe fftw_free#} output {#call unsafe fftw_destroy_plan#} plan fftwExecute::IO Fftw [Double] -> [Double] fftwExecute (Fftw size input output plan) inp = do pokeArray input (take size inp) {#call unsafe fftw_execute#} plan return !$ peekArray size output and my Main.hs: module Main where import Fftw main :: IO () main = do fft <- fftwNew 128 putStrLn $ show $ "done"

2 1

yet another C parser
by Duncan Coutts 09 Oct '06

09 Oct '06

All, over the weekend I had another stab at fixing issues in the c2hs C parser. I've been annoyed for some time that the basic typedef problem is not solved. I know some of the other problems are the various GNU extensions. Recall that there is this annoying context-dependency in the C grammar, that parsing depends on if an identifier had been declared as a typedef'ed identifier withing the enclosing scope. There's two things the current grammar gets wrong. One is that it doesn't accept identifiers & typedefs correctly in all the right situations. This was because my attempts to add them in the right places led to huge numbers of shift/reduce conflicts in the grammar. The other is that it doesn't do nested scopes properly, it assumes only one global scope. So currently, typedef'ed names to not go out of scope when they should do. So I started with James A. Roskind's C grammar for YACC. Google for it, there's lots of info on it. Anyway, I ported that to happy and indeed it does build with just the one expected shift/reduce conflict (for if/then/else). So the plan I suppose, would be to integrate this with the current lexer. This involves adding the semantic actions at just the right points to have typedef'ed names added and removed from the typedef'ed name set at just the right times and then testing the parser on a bunch of nasty torture cases. There are some suggested by Roskind here: http://compilers.iecc.com/comparch/article/92-01-056 eg, try this one: typedef int A, B(A); which should be equivalent to: typedef int A; typedef int B(int); /* B's type is a function taking an int and returning an int */ Terrifying stuff :-) I was also looking at a cheap automatic test for the parser. The idea is just to try and parse every .h file in /usr/include. We can filter out just the ones that compile on their own with gcc (since some need extra -I dirs or -D defines). At the moment on my machine with the current c2hs parser I get: 225 headers could be parsed ok 38 headers failed with parse errors Of the failures, most are related to __attribute__ of some sort. Some are C99 features like restrict or _Bool. There are a few otherwise uncategorised parse errors. We could probably extend this style of automatic testing to standard C packages by providing a c2hs wrapper that pretends to be gcc. Eg we'd use something like: export CC="c2hs-ccwrapper" export LD="c2hs-ldwrapper" ./configure make to make the build system work ok we'd need to produce dummy .o files etc. We might be able to test vast amounts of C code this way. Something slightly less ambitious might be to test the .h files for all pkg-config packages, since pkg-config provides all the necessary -I & -D flags. Testing the correctness of c2hs's c type sizeof calculation and struct member offsetof calculations could be done in a similar way. After parsing we could extract all the types, generate a .c file that gets gcc to tests the sizeof and compares that to the size c2hs calculates. Duncan

2 1

cooperation
by george 07 Oct '06

07 Oct '06

Dear sir, Glad to receive your email, hope cooperation. Best regards, George www.voile-curtain.com --------------------------------- 抢注雅虎免费邮箱-3.5G容量，20M附件！

1 0

c2hs repo problems on Windows
by Ganesh Sittampalam 23 Sep '06

23 Sep '06

Hi, At some point in the history of the c2hs repo, the files hipar/base/todo and hipar/base/TODO both exist. This is not good for people who want to get the repo on Windows :-) After playing around a bit, I have made a version of the repo that can be got fine from Windows. It doesn't involve modifying any existing patches, just adding a couple of new ones and reordering them in the repo so that the two files todo and TODO never exist simultaneously. My fixed up repo is at http://urchin.earth.li/darcs/ganesh/c2hs - I believe that you can sort out the main c2hs repo by getting a fresh copy from my repo, pulling in all the outstanding changes from the original c2hs repo, and then swapping the new one into place. A more detailed explanation: The current repo starts off with hipar/base/todo. At some point later, hipar/base/TODO is introduced. Later still, in the patch "rearranging darcs repo", hipar/base is renamed to base and the new base/todo is deleted. I wrote a patch that renames hipar/base/todo to hipar/base/todo-lowercase. This solves the name conflict for Windows, but annoyingly it conflicts with the delete of base/todo later on, so another patch is needed to resolve this conflict. There's also a final patch at the end to actually delete the renamed todo-lowercase file, because I got confused when resolving the conflict and didn't do it then, and I only realised after the person I was helping on #darcs had pulled from me. So the sequence of patches in the modified repo is: - Original import - Rename hipar/base/todo to hipar/base/todo-lowercase - "rearranging darcs repo" and all its dependencies - Resolve conflict between rename of todo and delete of todo - Rest of the patches - Actually delete base/todo-lowercase Cheers, Ganesh

1 0

patch applied (c2hs): Fix warning with newer versions of autoconf.
by chak＠cse.unsw.edu.au 14 Sep '06

14 Sep '06

Wed Sep 13 05:28:20 PDT 2006 Jelmer Vernooij <jelmer(a)samba.org> * Fix warning with newer versions of autoconf. M ./doc/c2hs/Makefile.in +1

1 0