October 2012 - C2hs - Haskell.org

[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

[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

[c2hs] #53: Cabal Install failed with ghc 7.6.1
by c2hs 09 Feb '13

09 Feb '13

#53: Cabal Install failed with ghc 7.6.1 --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.2 | Keywords: --------------------+------------------------------------------------------- Fail to install using ghc 7.6.1. Two changes are needed, but I don't know if backward compatible. Émeric diff -r c2hs-0.16.3_bu/src/C2HS/Config.hs c2hs-0.16.3/src/C2HS/Config.hs 40c40 < import Foreign.C (CInt) --- > import Foreign.C (CInt(..)) diff -r c2hs-0.16.3_bu/src/Control/StateTrans.hs c2hs-0.16.3/src/Control/StateTrans.hs 75a76 > import System.IO.Error(catchIOError) 299c300 < `catch` (\err -> let --- > `catchIOError` (\err -> let -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/53> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 1

[c2hs] #49: Run return value marshaller before output parameter marshallers
by c2hs 09 Feb '13

09 Feb '13

#49: Run return value marshaller before output parameter marshallers --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.0 | Keywords: --------------------+------------------------------------------------------- Many C functions provide an error code as a return value, and have output parameters that they do not set unless the return value indicates success. Handling such functions requires checking the return value before running any output marshallers. The reverse situation (an error code as an output parameter that needs checking before the return value) almost never occurs. Thus, run the return value marshaller before the output parameter marshallers, so that the return value marshaller can generate an exception that will prevent the output marshallers from running. {{{ 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 19:22:14.515183247 -0700 +++ new-c2hs/src/C2HS/Gen/Bind.hs 2012-10-07 19:22:14.515183247 -0700 @@ -894,8 +894,8 @@ funBody = joinLines marshIns ++ mkMarsh2 ++ call ++ - joinLines marshOuts ++ marshRes ++ + joinLines marshOuts ++ " " ++ (if isImpure || not isPure then "return " else "") ++ ret return $ sig ++ funHead ++ funBody }}} -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/49> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 1

[c2hs] #50: Parenthesize marshallers, to preserve Haskell expressions
by c2hs 09 Feb '13

09 Feb '13

#50: Parenthesize marshallers, to preserve Haskell expressions --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.0 | Keywords: --------------------+------------------------------------------------------- Marshallers can contain Haskell expressions; however, c2hs substitutes those expressions into Haskell code as function calls and adds arguments to the end, which limits these Haskell expressions to simple function calls with one or more arguments. Add parentheses to these expressions, allowing them to contain arbitrary Haskell expressions with lower precedence than function calls, such as operators. {{{ 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 19:24:21.493527302 -0700 +++ new-c2hs/src/C2HS/Gen/Bind.hs 2012-10-07 19:24:21.521526937 -0700 @@ -884,7 +884,7 @@ interr "GenBind.funDef: marshRes: no default?" marshBody (Left ide) = identToString ide - marshBody (Right str) = str + marshBody (Right str) = "(" ++ str ++ ")" retArgs' = case parm' of CHSParm _ _ _ (Just (_, CHSVoidArg)) _ -> retArgs @@ -962,7 +962,7 @@ retArg = if omArgKind == CHSVoidArg || omArgKind == CHSIOVoidArg then "" else outBndr marshBody (Left ide) = identToString ide - marshBody (Right str) = str + marshBody (Right str) = "(" ++ str ++ ")" in (funArg, marshIn, callArgs, marshOut, retArg) marshArg _ _ = interr "GenBind.funDef: Missing default?" }}} -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/50> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 1

[c2hs] #54: Allow referring to 'struct foo' identifiers from {#sizeof} {#get} and friends
by c2hs 18 Oct '12

18 Oct '12

#54: Allow referring to 'struct foo' identifiers from {#sizeof} {#get} and friends --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.0 | Keywords: --------------------+------------------------------------------------------- C maintains separate namespaces for 'struct foo' and 'typedef ... foo', and at present c2hs only references the latter namespace. This is annoying if a library author didn't add typedefs to allow eliding the 'struct' keyword from type definitions; we have to re-typedef everything we want to use from c2hs. It would be convenient if we could write {#get struct foo->bar #} or similar. Note that pointer appears to look in both namespaces, so I don't know what's going on there. -- ezyang -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/54> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 0

[c2hs] #51: Should not define preprocessor symbols for GCC
by c2hs 08 Oct '12

08 Oct '12

#51: Should not define preprocessor symbols for GCC --------------------+------------------------------------------------------- Reporter: guest | Type: defect Status: new | Priority: normal Milestone: | Component: general Version: 0.16.0 | Keywords: --------------------+------------------------------------------------------- c2hs uses GCC's preprocessor, and as a result it parses C code with GCC's default preprocessor symbols defined. Many projects rely on those preprocessor symbols to decide whether to use GCC-specific extensions, such as {{{__attribute__}}} declarations. Since c2hs does not support those extensions, it should not define those preprocessor symbols. Please consider invoking the preprocessor with {{{-U__GNUC__ -U__GNUC_MINOR__ -U__GNUC_PATCHLEVEL__}}} . -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/51> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 0

Re: [C2hs] [c2hs] #5: support for enum define hooks
by c2hs 08 Oct '12

08 Oct '12

#5: support for enum define hooks --------------------+------------------------------------------------------- Reporter: guest | Type: enhancement Status: new | Priority: normal Milestone: | Component: general Version: 0.15.1 | Keywords: --------------------+------------------------------------------------------- Comment(by guest): c2hs has had enum define for a while now. -- Ticket URL: <http://hackage.haskell.org/trac/c2hs/ticket/5#comment:1> c2hs <http://www.cse.unsw.edu.au/~chak/haskell/c2hs/> C->Haskell, An Interface Generator for Haskell

1 0