diff options
Diffstat (limited to 'docs/users_guide/9.4.1-notes.rst')
| -rw-r--r-- | docs/users_guide/9.4.1-notes.rst | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/users_guide/9.4.1-notes.rst b/docs/users_guide/9.4.1-notes.rst index 31f09fa6bc..1ca1b17eaa 100644 --- a/docs/users_guide/9.4.1-notes.rst +++ b/docs/users_guide/9.4.1-notes.rst @@ -38,6 +38,22 @@ Compiler enabled the :extension:`UnboxedTuples` extension but didn't explicitly enable :extension:`UnboxedSums` will continue to work without changes. +- Constructed Product Result analysis (c.f. :ghc-flag:`-fcpr-anal`) has been + overhauled and will now unbox nestedly, if termination properties of the + function permit. This allows unboxing of constructed results returned by + ``IO`` actions. E.g.:: + + sumIO :: [Int] -> IO Int + sumIO [] = return 0 + sumIO (x:xs) = do + r <- sumIO xs + return $! x + r + + Note the use of ``$!``: Without it, GHC would be unable to see that evaluation + of ``r`` and ``x`` terminates (and rapidly, at that). An alternative would be to + evaluate both with a bang pattern or a ``seq``, but the ``return $! <res>`` + idiom should work more reliably and needs less thinking. + ``base`` library ~~~~~~~~~~~~~~~~ |