diff options
Diffstat (limited to 'docs/users_guide/debug-info.rst')
| -rw-r--r-- | docs/users_guide/debug-info.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/debug-info.rst b/docs/users_guide/debug-info.rst index a0aade5ecc..b4056007b1 100644 --- a/docs/users_guide/debug-info.rst +++ b/docs/users_guide/debug-info.rst @@ -5,7 +5,8 @@ Since the 7.10 release GHC can emit a debugging information to help debugging tools understand the code that GHC produces. This debugging information is useable by most UNIX debugging tools. -.. ghc-flag:: -g, -g<n> +.. ghc-flag:: -g + -g⟨n⟩ :since: 7.10, numeric levels since 8.0 |