...
 
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
:ghc-flag:`-fmax-pmcheck-models`).
:ghc-flag:`-fmax-pmcheck-models=⟨n⟩`).
Compiler
~~~~~~~~
......
......@@ -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)))
print()
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)))
error('')
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)))
print()
error('Found flags that are documented yet listed in {}:'.format(EXPECTED_UNDOCUMENTED_PATH))
error('\n'.join(' {}'.format(flag) for flag in sorted(now_documented)))
error('')
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
:category:
:default: on
Enables warnings when the compiler encounters a ``-W...`` flag that is not
recognised.
......@@ -252,9 +253,10 @@ of ``-W(no-)*``.
:ghc-flag:`-fdefer-typed-holes`.
:type: dynamic
:reverse: -Wno-typed-holes
:default: on
:category:
: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