diff options
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index c777ccc25c..4b86617093 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -837,6 +837,16 @@ Checking for consistency Turn on heavyweight intra-pass sanity-checking within GHC, at Core level. (It checks GHC's sanity, not yours.) +.. ghc-flag:: -dlinear-core-lint + :shortdesc: Turn on internal sanity checking + :type: dynamic + + Turn on linearity checking in GHC. Currently, some optimizations + in GHC might not preserve linearity and they valid programs might + fail Linear Core Lint. + In the near future, this option will be removed and folded into + normal Core Lint. + .. ghc-flag:: -dstg-lint :shortdesc: STG pass sanity checking :type: dynamic |