diff options
author | Chaitanya Koparkar <ckoparkar@gmail.com> | 2020-07-15 10:08:57 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-07-18 07:26:46 -0400 |
commit | 49b265f08c7ac9c9dea6cfff0d67447728b7b416 (patch) | |
tree | ca1e24b255f487b04c3393228a4e15a3b97d075b /compiler/GHC/Core | |
parent | e504c9137dff2b8f51e8ed96b5cbb5a0d19f8e3a (diff) | |
download | haskell-49b265f08c7ac9c9dea6cfff0d67447728b7b416.tar.gz |
Fix minor typos in a Core.hs note
Diffstat (limited to 'compiler/GHC/Core')
-rw-r--r-- | compiler/GHC/Core/Lint.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Lint.hs b/compiler/GHC/Core/Lint.hs index 32abec0521..04a839c6cd 100644 --- a/compiler/GHC/Core/Lint.hs +++ b/compiler/GHC/Core/Lint.hs @@ -168,7 +168,7 @@ Note [Linting type lets] In the desugarer, it's very very convenient to be able to say (in effect) let a = Type Bool in let x::a = True in <body> -That is, use a type let. See Note [Type let] in "GHC.Core". +That is, use a type let. See Note [Core type and coercion invariant] in "GHC.Core". One place it is used is in mkWwArgs; see Note [Join points and beta-redexes] in GHC.Core.Opt.WorkWrap.Utils. (Maybe there are other "clients" of this feature; I'm not sure). |