-
Notifications
You must be signed in to change notification settings - Fork 27
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
Weeder fails with hPutChar
error if dhall spits out unexpected unicode
#86
Comments
Also, be aware of dhall-lang/dhall-haskell#797: dhall has |
A minimal example of the problem is {-# LANGUAGE OverloadedStrings #-}
import Dhall
main :: IO ()
main = Dhall.input Dhall.unit "./weeder.dhall" running via Dhall will explicitly print a utf-8 string to stderr if |
dhall
explicitly ignores locale settings for output (dhall-lang/dhall-haskell#188) which can cause problems ifweeder
is running in a non-utf8 environment. I don't know if it is worth compensating for this in weeder, but I hope that this bug report can at least save others time spend debugging this!E.g.
More realistically, this happens when naively running
weeder
in CI via nix (for the same reason).Note that dhall's error message (which contains unicode and seems to be echoed by weeder) starts
As a workaround to this issue, one can either:
XDG_CACHE_HOME
to something sensible, I do not know if there are other common errors to avoid)The text was updated successfully, but these errors were encountered: