diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 16:23:48 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 17:25:11 +0200 |
| commit | b52f59369a7b986e8b3389b30025a3f010b736cb (patch) | |
| tree | a1b9b74199c548db3c0ba0545e6eb67a0b1965f7 /compiler/GHC/Utils/Monad.hs | |
| parent | 7d7e71b03f4b2eb693f5ea69dadbccf491e7403f (diff) | |
| download | haskell-wip/typos2.tar.gz | |
Fix typoswip/typos2
Diffstat (limited to 'compiler/GHC/Utils/Monad.hs')
| -rw-r--r-- | compiler/GHC/Utils/Monad.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Utils/Monad.hs b/compiler/GHC/Utils/Monad.hs index a0cac350fe..d814fe9c92 100644 --- a/compiler/GHC/Utils/Monad.hs +++ b/compiler/GHC/Utils/Monad.hs @@ -346,7 +346,7 @@ smart constructor alone we still need the data constructor in patterns.) That's the advantage of the pattern-synonym approach, but it is more elaborate. -The pattern synonym approach is due to Sebastian Graaf (#18238) +The pattern synonym approach is due to Sebastian Graf (#18238) Do note that for monads for multiple arguments more than one oneShot function might be required. For example in FCode we use: @@ -426,7 +426,7 @@ replaced by (expensive x), but full laziness should pull it back out. The magic `inline` function does two things * It prevents eta reduction. If we wrote just multiShotIO (IO m) = IO (\s -> m s) - the lamda would eta-reduce to 'm' and all would be lost. + the lambda would eta-reduce to 'm' and all would be lost. * It helps ensure that 'm' really does inline. |