Fix test errors in windows caused by encoding

[jneira]

• Before the patch tests (both tasty and dictest) were failing with

doctest.exe: makeBools: commitBuffer: invalid argument (invalid character)
Dhall Tests
      normalization
        Tutorial examples
          normalize tasty.exe: <stdout>: commitBuffer: invalid argument (invalid character)
Command exited with code 1

• After set the character encoding to utf-8 doctest continue having with three fails. Setting console to utf-8 with chcp 65001 only left one error:

D:\dev\lang\eta\dhall\dhall-haskell\dhall\src/Dhall/Tutorial.hs:475: failure in expression `input auto "./baz: Double" :: IO Double'
expected: "*** Exception: "
          "\8627 ./baz: "
          "..."
          "...Error...: Missing file .../baz:"
          "..."
 but got: "*** Exception: "
          "\8627 ./baz:"
          ""
          "\ESC[1;31mError\ESC[0m: Missing file C:\\Users\\Javier\\AppData\\Local\\Temp\\mockery-2bbeef04706c5acb\\baz:"
          ""

Examples: 94  Tried: 93  Errors: 0  Failures: 1

[Gabriella439]

@jneira: You can fix the last remaining error by removing the forward slash before the baz in the expected output on this line:

dhall-haskell/dhall/src/Dhall/Tutorial.hs

Line 479 in aecfbc9

-- ...Error...: Missing file .../baz:

[jneira]

Thanks for pointing it out!

[jneira]

Btw the errors i am getting when dos console has the default encoding (chcp 850 for me) are:

D:\dev\lang\eta\dhall\dhall-haskell\dhall\src/Dhall/Tutorial.hs:667: failure in expression `makeBools <- input auto "./makeBools" :: IO (Bool -> Vector Bool)'
expected:
 but got: "*** Exception: "
          "? ./makeBools"
          ""
          "\ESC[1;31mError\ESC[0m: Invalid input"
          ""
          "C:\\Users\\Javier\\AppData\\Local\\Temp\\mockery-47d8e85ad0e3105a\\makeBools:1:1:"
          "  |"
          "1 | \955(n : Bool) \8594 [ n && True, n && False, n || True, n || False ]"
          "  | ^^^^^^^^"
          "unexpected \"\955(n : B\""
          "expecting expression or whitespace"
          ""

D:\dev\lang\eta\dhall\dhall-haskell\dhall\src/Dhall/Tutorial.hs:805: failure in expression `input auto "./makeBools True" :: IO (Vector Bool)'
expected: "[True,False,True,True]"
 but got: "*** Exception: "
          "? ./makeBools"
          ""
          "\ESC[1;31mError\ESC[0m: Invalid input"
          ""
          "C:\\Users\\Javier\\AppData\\Local\\Temp\\mockery-47d8e85ad0e3105a\\makeBools:1:1:"
          "  |"
          "1 | \955(n : Bool) \8594 [ n && True, n && False, n || True, n || False ]"
          "  | ^^^^^^^^"
          "unexpected \"\955(n : B\""
          "expecting expression or whitespace"
          ""

Examples: 94  Tried: 84  Errors: 0  Failures: 3

When setting the console encoding to utf-8 with chcp 65001 error are gone.

[Gabriella439]

Thank you for fixing that! 🙂