Commits (5)
......@@ -165,7 +165,7 @@ Language
good story for graceful degradation in these situations. These situations
should occur much less frequently now and degradation happens much more
smoothly, while still producing useful, sound results (see
......@@ -54,6 +54,9 @@ def read_ghc_flags(ghc_path: str) -> Set[str]:
if not expected_undocumented(flag)
if flag != ''}
def error(s: str):
print(s, file=sys.stderr)
def main() -> None:
import argparse
parser = argparse.ArgumentParser()
......@@ -70,16 +73,16 @@ def main() -> None:
undocumented = ghc_flags - doc_flags
if len(undocumented) > 0:
print('Found {len_undoc} flags not documented in the users guide:')
print('\n'.join(' {}'.format(flag) for flag in sorted(undocumented)))
error('Found {len_undoc} flags not documented in the users guide:'.format(len_undoc=len(undocumented)), )
error('\n'.join(' {}'.format(flag) for flag in sorted(undocumented)))
failed = True
now_documented = EXPECTED_UNDOCUMENTED.intersection(doc_flags)
if len(now_documented) > 0:
print('Found flags that are documented yet listed in {}:'.format(EXPECTED_UNDOCUMENTED_PATH))
print('\n'.join(' {}'.format(flag) for flag in sorted(now_documented)))
error('Found flags that are documented yet listed in {}:'.format(EXPECTED_UNDOCUMENTED_PATH))
error('\n'.join(' {}'.format(flag) for flag in sorted(now_documented)))
failed = True
if failed:
......@@ -509,6 +509,12 @@ These flags dump various phases of GHC's C-\\- pipeline.
Each CFG is dumped in dot format graph making it easy
to visualize them.
.. ghc-flag:: -ddump-srts
:shortdesc: Dump the Static Reference Tables computed for the program's bindings.
:type: dynamic
Dumps the static reference tables computed for CAFfy bindings.
LLVM code generator
......@@ -220,9 +220,10 @@ of ``-W(no-)*``.
encountered on the command line.
:type: dynamic
:reverse: -Wno-unrecognised-warning-flags
:default: on
:default: on
Enables warnings when the compiler encounters a ``-W...`` flag that is not
......@@ -252,9 +253,10 @@ of ``-W(no-)*``.
:type: dynamic
:reverse: -Wno-typed-holes
:default: on
:default: on
Determines whether the compiler reports typed holes warnings. Has no
effect unless typed holes errors are deferred until runtime. See
:ref:`typed-holes` and :ref:`defer-type-errors`
Subproject commit b9253565ccf2fe4ad0124ca5a97a595edc1fbff6
Subproject commit b744cde70820841f4cfd0626bf99292f5e7edba0