diff options
author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-10 14:41:25 +0300 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-29 00:32:05 -0400 |
commit | 5830a12c46e7227c276a8a71213057595ee4fc04 (patch) | |
tree | 70eacf5713115640af3ef83cb393e6f1a19d5096 /compiler/GHC/Core/Opt/Monad.hs | |
parent | b31a3360e2ef12f3ec7eaf66b3600247c1eb36c3 (diff) | |
download | haskell-5830a12c46e7227c276a8a71213057595ee4fc04.tar.gz |
New linear types syntax: a %p -> b (#18459)
Implements GHC Proposal #356
Updates the haddock submodule.
Diffstat (limited to 'compiler/GHC/Core/Opt/Monad.hs')
-rw-r--r-- | compiler/GHC/Core/Opt/Monad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Opt/Monad.hs b/compiler/GHC/Core/Opt/Monad.hs index 070ea11cc2..e7298fef54 100644 --- a/compiler/GHC/Core/Opt/Monad.hs +++ b/compiler/GHC/Core/Opt/Monad.hs @@ -412,7 +412,7 @@ EtaExpansion: fail = \void. (\s. (e |> g) s) |> sym g where g :: IO () ~ S -> (S,()) --> Next iteration of simplify fail1 = \void. \s. (e |> g) s - fail = fail1 |> Void#->sym g + fail = fail1 |> Void# -> sym g And now inline 'fail' CaseMerge: |