From 1ad95f12e3839348214de6dfd9c11b1ad1a02769 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Sat, 28 Mar 2020 09:21:53 -0400 Subject: Document -ddrop-coercions --- docs/users_guide/debugging.rst | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- cgit v1.2.1