Morte fails on Windows (due to unicode output?)

[gergoerdi]

Morte 1.6.2 is DOA on Windows 7 both on Cygwin and the Windows cmd shell:

On Cygwin:

$ cat hello.mt
\(a : *) -> \(x : a) -> x

$ morte < hello.mt
morte.exe: <stderr>: hPutChar: invalid argument (invalid character)

In cmd.exe:

C:\Users\cactus\Documents\playground\morte>type hello.mt
\(a : *) -> \(x : a) -> x

C:\Users\cactus\Documents\playground\morte>d:\local\stack\Local\bin\morte < hello.mt
morte: <stderr>: hPutChar: invalid argument (invalid character)

[gergoerdi]

Is there a way to turn off Unicode output? I'd like to try that and see if that works (i.e. using \/ instead of ∀ etc.)?

[gergoerdi]

I've found a relevant Stackoverflow quesiton.

[Gabriella439]

So if I could apply the fix described in the Stack Overflow question, would that be an acceptable solution for you or would you still prefer an option to disable Unicode output?

[gergoerdi]

I'd prefer to have both options. Also, I think I take back my original suggestion of using \/ in particular for ∀; I'd prefer forall instead.

[Gabriella439]

Alright, this is fixed by these two commits:

• Use the correct code page on Windows so that Unicode works and doesn't crash: ffae9df8c4b6f03060d8839b487ac030b21393a4
• Provide an --ascii option: aa94462de7c6a442752ddc76cd5650060b288a82

The latter uses forall when rendering ASCII like you requested (and that's also my preference, too)