[MLton] Re: [MLton-commit] r6699

[Florian Weimer]

* Henry Cejtin:

> The  idea  is  that  you enter single quote mode at the start and exit at the
> end, but inside, any single quote is replaced by
>
>     Single quote to exit single quote mode.
>     \' to actually add a single quote, backslash protected.
>     Single quote to re-enter single quote mode.
>
> I would be very surprised if the Cygwin shell didn't handle this correctly.

It's not about the shell, it's about other Windows applications
parsing the command line (I think).