Skip to content

FFI: finish implementing .isa ffi features#147

Open
alastairreid wants to merge 5 commits into
masterfrom
areid/fix-ffi
Open

FFI: finish implementing .isa ffi features#147
alastairreid wants to merge 5 commits into
masterfrom
areid/fix-ffi

Conversation

@alastairreid

Copy link
Copy Markdown

When I tried replacing the config.json files in tests, I found that the new .isa ffi language features were not fully implemented.
So this finishes the implementation (but leaves config.json support in place until others are updated).

See changes in tests for the new .isa way.

Comment thread libISA/backend_c.ml Outdated
Comment thread libISA/backend_c.ml Outdated
Comment thread libISA/isa_parser.mly Outdated

@nikolaykosarev nikolaykosarev left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Left few comments.

@alastairreid alastairreid force-pushed the areid/fix-ffi branch 2 times, most recently from efb096c to b43c17f Compare June 23, 2026 10:46
In several places, support for foreign types such as enums
and for foreign variables was incomplete and did not work
if you replaced the configuration json file with
the new .isa foreign import/export declarations.
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

Successfully merging this pull request may close these issues.

2 participants