diff options
-rw-r--r-- | docs/users_guide/debugging.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index 61a06b2e38..376af01474 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -818,6 +818,12 @@ Checking for consistency single: consistency checks single: lint +.. ghc-flag:: -ddrop-coercions + :shortdesc: TODO + :type: dynamic + + TODO + .. ghc-flag:: -dcore-lint :shortdesc: Turn on internal sanity checking :type: dynamic |