diff options
Diffstat (limited to 'docs/users_guide/debugging.rst')
| -rw-r--r-- | docs/users_guide/debugging.rst | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/users_guide/debugging.rst b/docs/users_guide/debugging.rst index e2acac340f..04bb5ca97a 100644 --- a/docs/users_guide/debugging.rst +++ b/docs/users_guide/debugging.rst @@ -1146,3 +1146,17 @@ Other be terminated. This helps narrowing down if an issue is due to tag inference if things go wrong. Which would otherwise be quite difficult. +.. ghc-flag:: -funoptimized-core-for-interpreter + :shortdesc: Disable optimizations with the interpreter + :reverse: -fno-unoptimized-core-for-interpreter + :type: dynamic + + :since: 9.8.1 + + default: enabled + + At the moment, ghci disables optimizations, because not all passes + are compatible with the interpreter. + This option can be used to override this check, e.g. + ``ghci -O2 -fno-unoptimized-core-for-interpreter``. + It is not recommended for normal use and can cause a compiler panic. |