Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

categorify Vectors #57

Open
zliu41 opened this issue Apr 15, 2022 · 0 comments
Open

categorify Vectors #57

zliu41 opened this issue Apr 15, 2022 · 0 comments

Comments

@zliu41
Copy link
Member

zliu41 commented Apr 15, 2022

We convert arbitrary Haskell types to Vectors of primitives for our C calling convention.

One possibility is to have some sequence type (lists?) handled directly by the plugin, the way we do with tuples and Either. However, I'm not certain about that, because repr = toList likely isn't going to inline properly?

This currently shows up in the Biquad conversion, where we get errors like

  • No instance for (HasRep (Data.Vector.Fusion.Bundle.Monadic.Bundle Data.Vector.Fusion.Util.Id Vector (Native Word32)))

  • No instance for (HasRep (Vector (Native Bool)))

  • No instance for (HasRep (Vector (Native Word32)))

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-3169)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant