-
Notifications
You must be signed in to change notification settings - Fork 134
Removed fixed UTF-8 encoding, for windows 10, fixes #533 [WIP] #576
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
Conversation
|
I guess the next comment proposes a better solution for this problem than just using system encoding everywhere[0]. However, PS compiler uses UTF-8 for stdout and stderr as well, so why shouldn't spago do the same? [0] Note that PS files are always UTF-8 and unicode synonyms can be used for ->, =>, etc. |
|
"This pull request is just to make more visible the workaround to #533 that make Spago work with Windows 10, as commented by @kakkun61 (#533 (comment)) ." I want to make that part emphasized. JUST A WORKAROUND. Since this is just not working with Windows 10. And my Build Release could be used for now. |
|
Note that the relevant issue is tagged “defect” so this is considered a bug by @f-f, and correctly so too, in my opinion. If a similar error can be found in |
|
This is a complicated topic, so I'll first point out that we've been very careful to make changes on this, as it might easily break lots of workflows. However, I'm also aware that people from non-English-speaking countries usually have trouble getting Spago to run (e.g. I got lots of reports from Japan), so I'd really like to see this fixed. I have a few notes so far:
|
|
I have this on a slack reminder, and I will keep reminding myself until I get around to trying it (hopefully later this week!) |
|
There appears to be a new issue for me, when running in nix (using a nix-shell if that matters): See: koalaman/shellcheck#324 (comment) for possibly related fix |
|
@bbarker what happens there is exactly the reason why we started fixing the locale to UTF8 (and it's the same failure that happens in the Windows CI on this PR): Dhall reads files with the locale encoding, while we'd like it to use UTF8 encoding.
@bbarker do you have a |
|
@f-f I just did
|
|
Also, output of |
|
Real solution is in #595 |
Description of the change
This pull request is just to make more visible the workaround to #533 that make Spago work with Windows 10, as commented by @kakkun61 (#533 (comment)) .
I have just removed the fixation of UTF-8 encoding in the main.
Additionally, I have made a Release with that change to make it easy to others: https://github.com/gibranrosa/spago/releases/tag/0.14-windows10
Checklist:
READMEP.S.: the above checks are not compulsory to get a change merged, so you may skip them. However, taking care of them will result in less work for the maintainers and will be much appreciated 😊