April 2007 - C2hs - Haskell.org

patch applied (c2hs): Shorten names of the GNU C __attribute__ non-terminals
by Duncan Coutts 15 Apr '07

15 Apr '07

Sun Apr 15 03:15:45 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Shorten names of the GNU C __attribute__ non-terminals Since we're going to be sprinkling them round the rest of the grammar it's nicer if they don't have such huge names. Also uncomment those non-terminals. M ./c2hs/c/CParser.y -22 +22

1 0

patch applied (c2hs): Rename terminal ' extension' to ' __extension__'
by Duncan Coutts 15 Apr '07

15 Apr '07

Sun Apr 15 03:14:27 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Rename terminal 'extension' to '__extension__' That's what's it's really called anyway. M ./c2hs/c/CParser.y -8 +8

1 0

patch applied (c2hs): Apparently ' \f' and ' \v' are allowed in C strings and char literals
by Duncan Coutts 15 Apr '07

15 Apr '07

Sun Apr 15 00:58:32 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Apparently '\f' and '\v' are allowed in C strings and char literals According to both gcc and the C99 spec. Some odd programs really use it too, like flex and binutils. M ./c2hs/c/CLexer.x -2 +2

1 0

patch applied (c2hs): Allow all unnamed struct members, not just unamed nested structs
by Duncan Coutts 15 Apr '07

15 Apr '07

Sun Apr 15 00:54:06 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Allow all unnamed struct members, not just unamed nested structs This does make the grammar too liberal but it's much easier to parse this more general grammar than trying to select just the unnamed nested structs. Unnamed members other than structs/unions can be checked in the AST later. It worked before, but once we introduce GNU C attributes it becomes virtually impossible to parse unambigiously. M ./c2hs/c/CParser.y -15 +7

1 0

patch applied (c2hs): Allow nested function definitions (a GNU C extension)
by Duncan Coutts 15 Apr '07

15 Apr '07

Sun Apr 15 00:48:20 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Allow nested function definitions (a GNU C extension) Just extends the things can can appear in compound statements, as well as statements and declarations we can have function definitions This GNU C extension is quite rarely used. M ./c2hs/c/CAST.hs -7 +22 M ./c2hs/c/CParser.y -9 +31

1 0

patch applied (c2hs): Deal with the scope of the ' for' loop' s decl properly
by Duncan Coutts 15 Apr '07

15 Apr '07

Sun Apr 15 00:13:42 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> * Deal with the scope of the 'for' loop's decl properly typedef int n; // n declared as a type name for (int n = ...; ...; ...) stmt; // n now considered a normal ident n n = 0; // n reverts to being a type name the declaration can define a local var (eg 'n') that masks a type of the same name from an outer scope. The local var goes out of scope at the end of the for loop's statement, if we don't do this then we treat 'n' as a normal ident rather than a typeident after the 'for' statement. M ./c2hs/c/CParser.y -2 +2

1 0

Re: [Haskell-cafe] more problems with c2hs
by Duncan Coutts 13 Apr '07

13 Apr '07

On Fri, 2007-04-13 at 02:37 +1000, Ruben Zilibowitz wrote: > Hi, > > I've built and installed c2hs on my Mac OS X system now. I read > through the research paper on c2hs available on the website for c2hs > and decided I would need to try it out to learn it. But it gives me > errors which I am having trouble trying to understand. Here are the > error messages: > > c2hs file.chs > > powerpc-apple-darwin8-gcc-4.0.1: c: No such file or directory > powerpc-apple-darwin8-gcc-4.0.1: c: No such file or directory > powerpc-apple-darwin8-gcc-4.0.1: warning: '-x -x' after last input > file has no effect > powerpc-apple-darwin8-gcc-4.0.1: no input files > c2hs: Error during preprocessing custom header file c2hs runs cpp -x c ${header} for the header file you specify. You can either specify a header file on the commend line or use #include's in the .chs file. c2hs should generate a .h file itself in that case but it looks like it isn't for some reason. You can find out what it is really doing by running: c2hs --dump trace file.chs btw, the better mailing list for this stuff is the c2hs mailing list: c2hs(a)haskell.org Duncan

2 8

patch applied (c2hs): TAG C parser cleanups checkpoint
by Duncan Coutts 12 Apr '07

12 Apr '07

Thu Apr 12 00:17:43 PDT 2007 Duncan Coutts <duncan.coutts(a)worc.ox.ac.uk> tagged C parser cleanups checkpoint

1 0

Re: [Haskell-cafe] c2hs on mac
by Duncan Coutts 12 Apr '07

12 Apr '07

On Thu, 2007-04-12 at 15:20 +1000, Ruben Zilibowitz wrote: > Hi, > > I am having trouble building c2hs on Mac OS X. I noticed that > Darwinports has a port for this, but I'd like to install it without > using Darwinports because I already have ghc compiled and installed > on my system. > > Does anyone know how to get c2hs to work on the mac (or why it > doesn't work in the first place)? What is the problem exactly? Are you using the latest tarball or the darcs version? Duncan

1 0

Building Projects under mingw that use c2hs [apologies for repost; archive seemed to scrub text portion, see archive for attached file]
by Alexander McPhail 07 Apr '07

07 Apr '07

Hi, I have been trying to build a Cabal package that uses c2hs under mingw and have run into some problems. 1) c2hs needed its own options because it has to pass a flag to its invocation of the CPP. I have already submitted this patch. (I also noticed a request for cppOptions in the Cabal.cabal file, so I added that) 2) When c2hs generates the foreign import ccall unsafe "path/to/include.h function" :: Type it doesn't insert the appropriate number of path separators for windows ( i.e. \\ not \) I have this patch sitting in my copy of c2hs. But what I did is really ugly: at around line 567 (process :: FilePath -> FilePath -> CST s ()) I inserted: > outFName' <- getSwitch outputSB > -- on windows the path separator needs to be "\\" not "\" > let outFName = replaceFileSeparator outFName' where replaceFileSeparator is defined as: > replaceFileSeparator :: String -> String > replaceFileSeparator [] = [] > replaceFileSeparator (x:xs) > | x == '\\' = "\\\\" ++ (replaceFileSeparator xs) > | otherwise = x : (replaceFileSeparator xs) this fixes the problem but stinks. 3) when compiling my c2hs generated .hs file, the c2hs generated .h file is not being found. $ ./Setup.lhs -v build Reading parameters from D:\Apps\MSYS\1.0\local\src\mingw-c2hs-cabal-test\cabal-root\mingw- c2hs-cabal-test.buildinfo Preprocessing library Mingw-c2hs-cabal-test-0.0.1... D:\Apps\MSYS\1.0\local\bin\c2hs.exe -C -D__GLASGOW_HASKELL__=606 -C -I..\include --cppopts=-I../include --include=src -o src\Cabal\MingwTest.hs src\Cabal\MingwTest.chs D:\Apps\MSYS\1.0\local\bin\c2hs.exe -C -D__GLASGOW_HASKELL__=606 -C -I..\include --cppopts=-I../include --include=src -o src\Cabal\MingwTest2.hs src\Cabal\MingwTest2.chs Building Mingw-c2hs-cabal-test-0.0.1... d:\Apps\ghc\ghc- 6.6\bin\ghc.exe -package-name Mingw-c2hs-cabal-test-0.0.1--make -hide-all-packages -i -idist\build\autogen -i. -isrc -I..\include -#include "test.h" -odir dist\build -hidir dist\build -package base-2.0 -O -package haskell98 -fglasgow-exts -fffi Cabal.MingwTest Cabal.MingwTest2C2HS [1 of 3] Compiling C2HS ( src/C2HS.hs, dist\build/C2HS.o ) [2 of 3] Compiling Cabal.MingwTest ( src/Cabal/MingwTest.hs, dist\build/Cabal/MingwTest.o ) C:\DOCUME~1\vivian\LOCALS~1\Temp\ghc31772_0\ghc31772_0.hc:6:33: src\Cabal\MingwTest.h: No such file or directory I have attached a set of files that will generate the errors I have mentioned on mingw. Cheers, Vivian

1 0