tweag/inline-java

Handle encoding correctly when doing substitutions.

facundominguez opened this issue · 1 comments

Right now jni is converting . to / in types to produce type signatures. However, any byte with the value . is converted. Many unicode characters use this byte and would be incorrectly handled.

#90 introduces the same problem in the inline-java Plugin.

Nah, I just reviewed the UTF-8 encoding which is the one assumed in all sites where we do substitutions. The bytes below 128 are not used for any other characters of the encoding.