Correct a few mistyped words in prose/comments

compiler/prelude/primops.txt.pp

@@ -2513,7 +2513,7 @@ primop  CompactFixupPointersOp "compactFixupPointers#" GenPrimOp
 
 ------------------------------------------------------------------------
 section "Unsafe pointer equality"
---  (#1 Bad Guy: Alistair Reid :)
+--  (#1 Bad Guy: Alastair Reid :)
 ------------------------------------------------------------------------
 
 primop  ReallyUnsafePtrEqualityOp "reallyUnsafePtrEquality#" GenPrimOp

docs/storage-mgt/ldv.tex

@@ -619,7 +619,7 @@ two options should result in nearly same profiling outputs, but
 the second run (without @-Sstderr@ option) spends almost twice as
 long in the Haskell mutator as the first run:
 1) @+RTS -Sstderr -hL -RTS@; 2) @+RTS -hL -RTS@.
-This is quite a subtle bug because this wierd phenomenon is not 
+This is quite a subtle bug because this weird phenomenon is not 
 observed in retainer profiling, yet the implementation of 
 @mut_user_time_during_LDV()@ is completely analogous to that of 
 @mut_user_time_during_RP()@. The overall shapes of the resultant graphs 

testsuite/tests/typecheck/should_compile/T10195.hs

@@ -16,7 +16,7 @@ class Bar m m'
 instance (BarFamily m m' ~ 'True) => Bar m m'
 
 magic :: (Bar m m') => c m zp -> Foo m zp (c m' zq)
--- Wierd test case: (Bar m m') is simplifiable
+-- Weird test case: (Bar m m') is simplifiable
 magic = undefined
 
 getDict :: a -> Dict (Num a)
@@ -26,7 +26,7 @@ fromScalar = undefined
 
 foo :: (Bar m m')
   => c m zp -> Foo m zp (c m' zq) -> Foo m zp (c m' zq)
--- Wierd test case: (Bar m m') is simplifiable
+-- Weird test case: (Bar m m') is simplifiable
 foo b (Foo sc) =
   let scinv = fromScalar sc
   in case getDict scinv of

testsuite/tests/typecheck/should_compile/T3108.hs

@@ -29,7 +29,7 @@ class C1 x
 instance {-# OVERLAPPING #-} (C1 x, C1 y) => C1 (x,y)
 instance {-# OVERLAPPING #-} C1 Bool
 instance {-# OVERLAPPABLE #-} (C2 x y, C1 (y,Bool)) => C1 x
--- Wierd test case: (C1 (y,Bool)) is simplifiable
+-- Weird test case: (C1 (y,Bool)) is simplifiable
 
 class C2 x y | x -> y
 instance C2 Int Int