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

@ghost ghost commented Feb 26, 2018

Copy link
Copy Markdown

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

ghost commented Feb 26, 2018

Copy link
Copy Markdown
Author

PR for #4352

@ghost

ghost commented Feb 26, 2018

Copy link
Copy Markdown
Author

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