Support tagged unions
Opened this issue · 0 comments
edsko commented
We might be able to recognize (or annotate) certain C patterns as corresponding to tagged unions, in which case we could generate Haskell ADTs for them.
Perhaps this is the counterpart to #16 in the low-level API; it's unclear at present if there are other special kinds of C unions for which we can generate sensible high-level Haskell equivalents.