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.

Sign up for GitHub

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

Jump to bottom

FFI: efficient array API #5

Open
5 of 8 tasks
bamboo opened this issue Sep 22, 2015 · 0 comments
Open
5 of 8 tasks

FFI: efficient array API #5

bamboo opened this issue Sep 22, 2015 · 0 comments
Assignees
@bamboo
Labels
FFI help wanted

Comments

@bamboo
Copy link
Owner

bamboo commented Sep 22, 2015 •
edited

  • Provide a more convenient CIL.FFI.Array.get accessor function which doesn't require the element type to be passed in
  • Support all primitive types
  • Provide efficient conversion functions between primitive arrays and Data.Vect
  • Provide efficient conversion functions between primitive arrays and Lists
  • Unify CIL.FFI.ObjectArray and CIL.FFI.Array.TypedArray
  • Support native int arrays
  • Support value types
  • Provide efficient indexed accessors
bamboo added a commit that referenced this issue Sep 23, 2016
@bamboo
Introduce typed array FFI
8a8c4f5 
With preliminary support for System.Int32[] arrays.

See #5
bamboo added a commit that referenced this issue Sep 23, 2016
@bamboo
Add support for value type arrays
22a6847 
This required a few improvements to language-cil, so for the time being
we're back at depending on bamboo/language-cil@idris-cil.

In the process I had to remove `CIL.FFI.Array.get` and replace it with
`CIL.FFI.Array.get'` which requires the array element type as the first
argument. I couldn't get the element type index stored in TypedArray
to flow all the way to the code generator. The search for a better
solution continues.

See #5
bamboo added a commit that referenced this issue Oct 16, 2016
@bamboo
Support char arrays in the FFI
9b8415f 
See #5
bamboo added a commit that referenced this issue Oct 16, 2016
@bamboo
Support string and arbitrary reference type arrays in the FFI
66e4c4f 
See #5
bamboo added a commit that referenced this issue Oct 16, 2016
@bamboo
Support typed arrays of Bool
a50bd8f 
See #5
@bamboo bamboo self-assigned this Oct 19, 2016
bamboo added a commit that referenced this issue Oct 20, 2016
@bamboo
Simplify array iteration and access
2029567 
See #5
bamboo added a commit that referenced this issue Oct 30, 2016
@bamboo
Add Array.foldl and Array.foldr
c38a3cc 
See #5
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@bamboo bamboo

Labels
FFI help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@bamboo