Skip to content
This repository was archived by the owner on Nov 12, 2025. It is now read-only.

WIP: making readFile work correctly with binary data when compiled#4354

Open
ghost wants to merge 1 commit into
masterfrom
unknown repository
Open

WIP: making readFile work correctly with binary data when compiled#4354
ghost wants to merge 1 commit into
masterfrom
unknown repository

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Feb 26, 2018

WIP:
make fGetChars return a tuple of (string, length) instead of just the string result, make ``addToStringBuffer take a length argument for the length of its string parameter

@ghost
Copy link
Copy Markdown
Author

ghost commented Feb 26, 2018

PR for #4352

@ghost
Copy link
Copy Markdown
Author

ghost commented Feb 26, 2018

I got stuck on trying to figure out how to return a tuple in the RTS for idris_readChars.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant