@@ -55,7 +55,7 @@ The following command line options are supported:
55--output=VAL The output directory. Default: ``output``.
55--output=VAL The output directory. Default: ``output``.
56--runtime-type-checks Generate runtime type checks
56--runtime-type-checks Generate runtime type checks
57--verbose-errors Display verbose error messages.
57--verbose-errors Display verbose error messages.
58−--help=FMT Show this help in format FMT (``pager, ``plain``, or ``groff``). Default: ``pager``.
58+--help=FMT Show this help in format FMT (``pager``, ``plain``, or ``groff``). Default: ``pager``.
59--no-magic-do Disable the optimization that overloads the ``do`` keyword to generate efficient code specifically for the ``Eff`` monad.
59--no-magic-do Disable the optimization that overloads the ``do`` keyword to generate efficient code specifically for the ``Eff`` monad.
60--no-opts Skip the optimization phase.
60--no-opts Skip the optimization phase.
61--no-prelude Omit the Prelude.
61--no-prelude Omit the Prelude.