December 2012 - C2hs - Haskell.org

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

08 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 08 Feb '13

08 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 08 Feb '13

08 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 08 Feb '13

08 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 08 Feb '13

08 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 08 Feb '13

08 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