Commit 28302fda authored by Alexis King's avatar Alexis King

Document BlockArguments/LambdaCase support in arrow notation

parent aa9e9ae7
Pipeline #18699 passed with stages
in 475 minutes and 14 seconds
......@@ -104,6 +104,21 @@ Template Haskell
- The ``-XTemplateHaskellQuotes`` extension now allows nested splices as nested
splices do not lead directly to compile-time evaluation. (!2288)
Arrow notation
~~~~~~~~~~~~~~
- When combined with :extension:`Arrows`, the :extension:`LambdaCase` extension
now additionally allows ``\case`` syntax to be used as a command in ``proc``
notation.
- When combined with :extension:`Arrows`, the effects of the
:extension:`BlockArguments` extension now also apply to applications of
arrow control operators in ``(|`` banana brackets ``|)``: ::
(| untilA (increment -< x + y) do
within 0.5 -< x
... |)
``ghc-prim`` library
~~~~~~~~~~~~~~~~~~~~
......@@ -182,4 +197,3 @@ for further change information.
libraries/unix/unix.cabal: Dependency of ``ghc`` library
libraries/Win32/Win32.cabal: Dependency of ``ghc`` library
libraries/xhtml/xhtml.cabal: Dependency of ``haddock`` executable
......@@ -25,4 +25,11 @@ Note that ``\case`` starts a layout, so you can write ::
...
pN -> eN
Additionally, since GHC 8.12.1, combining :extension:`LambdaCase` with
:extension:`Arrows` allows ``\case`` syntax to be used as a command in
``proc`` notation: ::
proc x -> (f -< x) `catchA` \case
p1 -> cmd1
...
pN -> cmdN
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment