@@ -35,7 +35,6 @@ The following options are supported:
3535--stdin Read input from standard input instead of from files.
3636--output Write the generated Javascript to the specified file.
3737--externs Write a list of foreign imports declarations to the specified file in addition to generating Javascript output.
38−--runtime-type-checks Generate simple runtime type checks for function arguments with simple types.
3938--no-tco Turn off tail-call elimination.
4039--no-prelude Do not include the Prelude in the generated Javascript.
4140--no-magic-do Turn off optimizations which inline calls to ``>>=`` for the ``Eff`` monad.