-
Notifications
You must be signed in to change notification settings - Fork 323
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
Custom Encoding support when writing Delimited files #3564
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Publishing a couple of comments before refreshing,
## We ignore any warnings raised by the `bytes` method, because if the | ||
original Unicode replacement character failed to encode, the `bytes` | ||
method will have replaced it with the simple `?` sign which should be | ||
available in all encodings. And this is exactly the behavior we wan: |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
available in all encodings. And this is exactly the behavior we wan: | |
available in all encodings. And this is exactly the behavior we want |
4c21055
to
d7ac60a
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
One slight question but generally looks good
std-bits/base/src/main/java/org/enso/base/encoding/ReportingStreamEncoder.java
Show resolved
Hide resolved
0f9d31e
to
574e8ac
Compare
Pull Request Description
Implements https://www.pivotaltracker.com/story/show/182545847
Important Notes
Checklist
Please include the following checklist in your PR:
Scala,
Java,
and
Rust
style guides.
./run ide dist
and./run ide watch
.