- C2hs - Haskell.org

Building C2HS on Win64
by Ian Ross 20 Feb '14

20 Feb '14

Dear all, There's an issue open on C2HS (https://github.com/haskell/c2hs/issues/55) about building on Win64 that I think may be defunct, but I don't have a Windows machine to test it on. Is there anyone with 5 minutes and a Windows machine who can try a build of GitHub HEAD? It looks like the problem is related to Cabal running Cygwin's version of strip instead of Mingw's. If anyone has the time to look at this, I'd appreciate it! Thanks a lot, Ian. -- Ian Ross Tel: +43(0)6804451378 ian(a)skybluetrades.net www.skybluetrades.net

1 0

c2hs extracts "Ptr ()" instead of pointer hook name
by Thomas Strobel 08 Jul '13

08 Jul '13

Dear All, I'm trying to write a FFI for the Enlightenment Foundation Libraries, but my small example of a binding fails to compile, and I wanted to ask if someone would have some advice for me how to make c2hs extract the correct bindings. Many thanks in advance! Thomas My program's code is: {-# LANGUAGE ForeignFunctionInterface #-} import Foreign.Ptr #include <Ecore_Evas.h> {#pointer *Ecore_Evas as EcoreEvas newtype#} {#pointer *Evas as Evas newtype#} {#fun ecore_evas_get {id `EcoreEvas'} -> `Evas' id#} The signature of the C function is: https://build.enlightenment.org/job/nightly_efl_gcc_x86_64/lastSuccessfulBu… The trace of c2hs is: -C "-I/usr/local/include/ecore-1" -C "-I/usr/local/include/ecore-evas-1" -C "-I/usr/local/include/evas-1" -C "-I/usr/local/include/efl-1" -C "-I/usr/local/include/eina-1" -C "-I/usr/local/include/eina-1/eina" -C "-I/usr/local/include/eo-1" ** Pointer hook: found C declaration for `Ecore_Evas' extractCompType: checking for alias extracted ptr type is `()' associated with Haskell entity `EcoreEvas' having type () ** Pointer hook: found C declaration for `Eo' extractCompType: checking for alias extracted ptr type is `()' associated with Haskell entity `Evas' having type () ** Fun hook for `get': Entering `extractSimpleType' (for a result)... extractCompType: explicit pointer type extractCompType: checking for alias extractCompType: found an alias called `Evas' extractCompType: checking for alias extractCompType: found an alias called `Eo' extractCompType: checking for alias Entering `extractSimpleType' (not for a result)... extractCompType: explicit pointer type Imported function type: ((EcoreEvas) -> (IO (Ptr ()))) Entering `extractSimpleType' (for a result)... extractCompType: explicit pointer type extractCompType: checking for alias extractCompType: found an alias called `Evas' extractCompType: checking for alias extractCompType: found an alias called `Eo' extractCompType: checking for alias Entering `extractSimpleType' (not for a result)... extractCompType: explicit pointer type Marshalling specification including defaults: id `EcoreEvas' void- void- `Evas' id The marshalling is pure. The compilation of the generated .hs-file fails with: [1 of 1] Compiling Evas ( Evas.hs, Evas.o ) Evas.chs:22:11: Couldn't match expected type `Evas' with actual type `Ptr ()' In the first argument of `return', namely `(res')' In the expression: return (res') In the expression: let res' = id res in return (res')

1 0

Dion�sio - Lista de aprova��o
by David Anderson 05 Jun '13

05 Jun '13

Dionísio ALINE DA SILVA SOUZA, LARA POTI NOBRE, FELIPE LOURENCO MESQUITA, NATALICIO BEZERRA, JOÃO CARLOS MOREIRA DE CARVALHO, CLAUDIANA VIANA DA SILVA, MARIA APARECIDA FERREIRA DA SILVA, ISABELA GONÇALVES DE FREITAS. RUBIELLE DA SILVA BRAZ, ELENILDO MIRO CAMPOS, MATHEUS COSTA BARROS, JOSE TEIXEIRA COSTA JUNIOR, VILMARA SAMPAIO VICENTE. Bom Jardim de Goiás. Vereda ANA PAULA DA SILVA AMORIM, LUCAS ALEXANDRE DAMASCENO, FRANCISCO RUBENS MENDES MARTINS, PRISCILA BARROS COSTA, JOÃO CARLOS MOREIRA DE CARVALHO, DAVID DA SILVA PINHEIRO, MARIA JOSÉ FIGUEIRA DA SILVA, JOAO BATISTA DE OLIVEIRA SILVA. SONIA MARA SOUSA SANTANA, BRUNA THAINA CASTRO AMAZONAS, LUISA CARLA ARAUJO PAIVA DE CARVALHO, HILDEJONES DOMINGOS DE SOUZA NETO, RHAYSSA ABREU ROCHA. Barra do Bugres. Alpinópolis ALINE DA SILVA SOUZA, LARA POTI NOBRE, FELIPE LOURENCO MESQUITA, NATALICIO BEZERRA, JOÃO CARLOS MOREIRA DE CARVALHO, CLAUDIANA VIANA DA SILVA, MARIA APARECIDA FERREIRA DA SILVA, ISABELA GONÇALVES DE FREITAS. RUBIELLE DA SILVA BRAZ, ELENILDO MIRO CAMPOS, MATHEUS COSTA BARROS, JOSE TEIXEIRA COSTA JUNIOR, VILMARA SAMPAIO VICENTE. Barra do Bugres.

1 0

add addrof directive (was: ptrto)
by Philipp Balzarek 03 May '13

03 May '13

{#addrof <path> #} retrieves the address of a field of a c structure, following <path>. It behaves much like get or set, but instead of marshalling the target it returns a pointer to it. This is useful e.g. when the associated Haskell type doesn't have a Storable instance, for example SockAddr. See also: http://www.haskell.org/pipermail/c2hs/2013-March/001113.html

1 0

[c2hs] #55: `strip: unable to rename 'c2hs.exe'; reason: File exists`
by c2hs 11 Apr '13

11 Apr '13

#55: `strip: unable to rename 'c2hs.exe'; reason: File exists` --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.2 | Keywords: strip rename file configure setup mingw windows --------------------+------------------------------------------------------- I'm currently trying to build c2hs (v 0.16.4) from the cabal source package from HackageDB on a Win64 system. == TERMINAL LOG == PS .> cabal install Resolving dependencies... Configuring c2hs-0.16.4... Preprocessing executables for c2hs-0.16.4... Building c2hs-0.16.4... Linking dist\build\c2hs\c2hs.exe ... Installing executable(s) in C:\Users\##\AppData\Roaming\cabal\bin C:\prog-x86\MinGW\bin\strip.exe: unable to rename 'C:\Users\##\AppData\Roaming\cabal\bin\c2hs.exe'; r eason: File exists cabal.exe: Error: some packages failed to install: c2hs-0.16.4 failed during the final install step. The exception was: ExitFailure 1 == SETUP CONFIG - CONCERNING STRIP == ("strip", ConfiguredProgram {programId = "strip", programVersion = Nothing, programDefaultArgs = [], programOverrideArgs = [], programLocation = FoundOnSystem {locationPath = "C:\\prog-x86\\MinGW\\bin\\strip.exe"}}) I hope I included enough information to make it possible to solve this bug. Comment if you need anything. Thanks. -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/55> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 0

darcs patch: add ptrto directive
by General Failure 31 Mar '13

31 Mar '13

1 patch for repository http://code.haskell.org/c2hs: Sun Mar 24 16:21:29 CET 2013 p.balzarek(a)googlemail.com * add ptrto directive {#ptrto <path> #} creates a pointer into a c structure, following <path>. It behaves much like get or set, but instead of marshalling the target it returns a pointer to it. This is useful e.g. when the associated Haskell type doesn't have a Storable instance, for example SockAddr.

1 0

[c2hs] #39: language-c-0.4.2.0 compatibility
by c2hs 09 Feb '13

09 Feb '13

#39: language-c-0.4.2.0 compatibility --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.2 | Keywords: --------------------+------------------------------------------------------- Hi, for Debian, I patched c2hs to build against the language-c in the latest version. The patch is purely type-driven, and not checked against possible changes in the semantics of language-c. Thanks, Joachim -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/39> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 2

Re: [C2hs] [c2hs] #7: compile gtk2hs failed under locale zh_CN.utf8
by c2hs 09 Feb '13

09 Feb '13

#7: compile gtk2hs failed under locale zh_CN.utf8 ---------------------+------------------------------------------------------ Reporter: duncan | Owner: Type: defect | Status: new Priority: normal | Milestone: Component: general | Version: 0.15.1 Keywords: | ---------------------+------------------------------------------------------ Comment(by duncan): The latest darcs version may fix this. It uses the latest language-c which when built with alex 3 may handle the unicode correctly. Worth someone trying and confirming. -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/7#comment:2> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 0

[c2hs] #42: Nonstandard binary installation directory
by c2hs 09 Feb '13

09 Feb '13

#42: Nonstandard binary installation directory --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.0 | Keywords: --------------------+------------------------------------------------------- c2hs doesn't install in the proper directory ({{{ ~/.cabal/bin }}}). Instead, it installs in {{{ /Users/andrew/Library/Haskell/ghc-7.0.3/lib/c2hs-0.16.3/bin }}}. This creates problems with subsequent packages which depend on c2hs's installation and inclusion in {{{ PATH }}}. -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/42> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 1

[c2hs] #52: Parenthesize types in bindings, to allow function types without parentheses
by c2hs 09 Feb '13

09 Feb '13

#52: Parenthesize types in bindings, to allow function types without parentheses --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.0 | Keywords: --------------------+------------------------------------------------------- c2hs allows arbitrary types in function bindings. However, a function type such as {{{T1 -> T2}}} will cause the generated code to parse incorrectly; since c2hs does not parenthesize each argument type, the argument and return types of the function type will parse as multiple arguments of the binding type, rather than as a single argument of function type. The binding can work around this by explicitly parenthesizing the function type, but since c2hs already requires quoting the entire type, the need for parentheses does not become apparent without reading the generated code (or encountering a compile error). Add parentheses around the types in bindings, so that unparenthesized function types as arguments will parse correctly. {{{ diff -rN -u old-c2hs/src/C2HS/Gen/Bind.hs new-c2hs/src/C2HS/Gen/Bind.hs --- old-c2hs/src/C2HS/Gen/Bind.hs 2012-10-07 20:49:16.773294894 -0700 +++ new-c2hs/src/C2HS/Gen/Bind.hs 2012-10-07 20:49:16.789294705 -0700 @@ -913,8 +913,8 @@ ctxt = case octxt of Nothing -> "" Just ctxtStr -> ctxtStr ++ " => " - argTys = [ty | CHSParm im ty _ _ _ <- parms' , notVoid im] - resTys = [ty | CHSParm _ ty _ om _ <- parm':parms', notVoid om] + argTys = ["(" ++ ty ++ ")" | CHSParm im ty _ _ _ <- parms' , notVoid im] + resTys = ["(" ++ ty ++ ")" | CHSParm _ ty _ om _ <- parm':parms', notVoid om] resTup = let (lp, rp) = if isPure && length resTys == 1 then ("", "") }}} -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/52> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 1