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

Support nested sequences in FFI #1406

Merged
merged 4 commits into from
Aug 22, 2022
Merged

Support nested sequences in FFI #1406

merged 4 commits into from
Aug 22, 2022

Conversation

qsctr
Copy link
Contributor

@qsctr qsctr commented Aug 17, 2022

Closes #1404.

Note: this PR is on top of #1401, please merge that one first.

@qsctr qsctr added language Changes or extensions to the language FFI Foreign function interface labels Aug 17, 2022
@qsctr qsctr self-assigned this Aug 17, 2022
@qsctr qsctr marked this pull request as ready for review August 17, 2022 21:52
@qsctr qsctr requested a review from yav August 17, 2022 21:52
Copy link
Member

@yav yav left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I had some trouble following the loop for marshaling out arrays, so I added a comment with a suggestion that I think is more readable. OTOH, I haven't even tried to compile it so it might be wrong :-) So give it a go, if it works---great. Otherwise, the changes look good to me

src/Cryptol/Eval/FFI.hs Show resolved Hide resolved
@qsctr qsctr changed the base branch from master to print-loading-shared-lib August 18, 2022 20:38
@qsctr qsctr changed the base branch from print-loading-shared-lib to master August 18, 2022 20:38
@qsctr qsctr requested a review from yav August 20, 2022 04:41
@yav yav merged commit 2b425be into master Aug 22, 2022
@RyanGlScott RyanGlScott deleted the ffi-nested-seq branch March 22, 2024 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
FFI Foreign function interface language Changes or extensions to the language
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Nested sequences for FFI
2 participants