summaryrefslogtreecommitdiff
path: root/libraries
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2020-10-01 21:32:52 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-10-02 08:00:25 -0400
commita9ae83af9e0cf48e860f2b7e1d50a057cb8a7890 (patch)
tree3aa9de1ffd2ac471b14a0342a5a2e8bbba6f5a90 /libraries
parent1edd6d21c0abea34b498a627234a97df21648024 (diff)
downloadhaskell-a9ae83af9e0cf48e860f2b7e1d50a057cb8a7890.tar.gz
Fix typos in comments
[skip ci]
Diffstat (limited to 'libraries')
-rw-r--r--libraries/base/GHC/Conc/Sync.hs2
-rw-r--r--libraries/base/GHC/TypeNats.hs2
-rw-r--r--libraries/base/Unsafe/Coerce.hs2
-rw-r--r--libraries/ghc-prim/GHC/Prim/Ext.hs2
4 files changed, 4 insertions, 4 deletions
diff --git a/libraries/base/GHC/Conc/Sync.hs b/libraries/base/GHC/Conc/Sync.hs
index af7c22f055..5debee92d1 100644
--- a/libraries/base/GHC/Conc/Sync.hs
+++ b/libraries/base/GHC/Conc/Sync.hs
@@ -497,7 +497,7 @@ labelThread (ThreadId t) str =
case labelThread# t p s of s1 -> (# s1, () #)
-- Nota Bene: 'pseq' used to be 'seq'
--- but 'seq' is now defined in PrelGHC
+-- but 'seq' is now defined in GHC.Prim
--
-- "pseq" is defined a bit weirdly (see below)
--
diff --git a/libraries/base/GHC/TypeNats.hs b/libraries/base/GHC/TypeNats.hs
index 065f3a0aca..d52a2890b0 100644
--- a/libraries/base/GHC/TypeNats.hs
+++ b/libraries/base/GHC/TypeNats.hs
@@ -82,7 +82,7 @@ someNatVal n = withSNat SomeNat (SNat n) Proxy
{- Note [NOINLINE someNatVal]
`someNatVal` converts a natural number to an existentially quantified
-dictionary for `KnowNat` (aka `SomeNat`). The existential quantification
+dictionary for `KnownNat` (aka `SomeNat`). The existential quantification
is very important, as it captures the fact that we don't know the type
statically, although we do know that it exists. Because this type is
fully opaque, we should never be able to prove that it matches anything else.
diff --git a/libraries/base/Unsafe/Coerce.hs b/libraries/base/Unsafe/Coerce.hs
index ea60259ffc..6792592254 100644
--- a/libraries/base/Unsafe/Coerce.hs
+++ b/libraries/base/Unsafe/Coerce.hs
@@ -277,7 +277,7 @@ unsafeEqualityProof = case unsafeEqualityProof @a @b of UnsafeRefl -> UnsafeRefl
-- are the same -- but the proof of that relies on the complex, trusted
-- implementation of @Typeable@.
--
--- 4. The "reflection trick", which takes advantanage of the fact that in
+-- 4. The "reflection trick", which takes advantage of the fact that in
-- @class C a where { op :: ty }@, we can safely coerce between @C a@ and @ty@
-- (which have different kinds!) because it's really just a newtype.
-- Note: there is /no guarantee, at all/ that this behavior will be supported
diff --git a/libraries/ghc-prim/GHC/Prim/Ext.hs b/libraries/ghc-prim/GHC/Prim/Ext.hs
index b9f644ef1e..5ef6ff4ab0 100644
--- a/libraries/ghc-prim/GHC/Prim/Ext.hs
+++ b/libraries/ghc-prim/GHC/Prim/Ext.hs
@@ -10,7 +10,7 @@
#include "MachDeps.h"
-- See note [When do out-of-line primops go in primops.txt.pp]. More primops
--- there are elgible according to the description below, but cannot yet be moved
+-- there are eligible according to the description below, but cannot yet be moved
-- here because of superficial restrictions to `foreign import prim`. Hopefully
-- that is fixed soon.