diff options
author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-10-01 21:32:52 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-02 08:00:25 -0400 |
commit | a9ae83af9e0cf48e860f2b7e1d50a057cb8a7890 (patch) | |
tree | 3aa9de1ffd2ac471b14a0342a5a2e8bbba6f5a90 /libraries | |
parent | 1edd6d21c0abea34b498a627234a97df21648024 (diff) | |
download | haskell-a9ae83af9e0cf48e860f2b7e1d50a057cb8a7890.tar.gz |
Fix typos in comments
[skip ci]
Diffstat (limited to 'libraries')
-rw-r--r-- | libraries/base/GHC/Conc/Sync.hs | 2 | ||||
-rw-r--r-- | libraries/base/GHC/TypeNats.hs | 2 | ||||
-rw-r--r-- | libraries/base/Unsafe/Coerce.hs | 2 | ||||
-rw-r--r-- | libraries/ghc-prim/GHC/Prim/Ext.hs | 2 |
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. |