Support C structures in Haskell FFI
This ticket is for tracking progress on [[CStructures]] language extension proposal (it lives here now: https://gitlab.haskell.org/ghc/ghc/-/wikis/c-structures).
The idea is to support C structures in Haskell FFI. See wiki for details.
If it will be accepted, I'm going to implement it in few steps. The first one is to support structures as return value. Platform specific part for that is already implemented, see D252
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.8.3 |
| Type | FeatureRequest |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Activity
added Tfeature request Trac import labels
assigned to @trac-Yuras
unassigned @trac-Yuras
There is no chance that I'll catch 7.10 release, I'm stuck in type checker.
I'm unassigning the ticket in case someone else wants to try. Probably someone with better knowledges of ghc internals will be able to finish implementation. Anyway, I have ~1 year till 7.12 to find my way into the code.
Hmmm, I think the wiki page is confusing C types and Haskell types:
- If one wants to bind to a C structure containing int/char/float/..., one has to use CInt/CChar/CFloat/... on the Haskell side.
- If one wants to access Haskell stuff containing Int/Char/Float, one has to use HsInt/HsChar/HsFloat/... on the C side.
Any kind of structure marshaling can't change anything about that, there's no portable correspondence between the types in both worlds.
carter: thank you. Unfortunately I already flushed the context out of my mind a number of days ago. But I promise to return to this feature request eventually.
svenpanne: Yes, I believe you are correct. Probably it should not mention Int, Char, Float, etc at all. Feel free to fix it. Thanks for taking a look!
And just for the record: I still think the low level part, covered by D252, is useful on itself. Please consider merging it into 7.10. At least I appreciate any feedback. I raised that question in a email in ghc-dev few weeks ago, but got no response.
Replying to [ticket:9700#comment:137050 sboosali]:
any update?
I'm afraid this proposal is dead. Here is the code rebased over ghc-8.0 in case anyone wants to take it over. If you are interested to push it forward, then I'd suggest to open new GHC proposal.
added Pnormal label
