Fix more typos

4 files changed, 4 insertions, 4 deletions

diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng
index 5fdf3af027..3afec2bbb7 100644
--- a/docs/core-spec/core-spec.mng
+++ b/docs/core-spec/core-spec.mng
@@ -121,7 +121,7 @@ to be built with \texttt{CoercionTy}.
 laid out in \verb|Note [Invariants on join points]| in
 \ghcfile{coreSyn/CoreSyn.hs}:
 \begin{enumerate}
-    \item All occurences must be tail calls. This is enforced in our typing
+    \item All occurrences must be tail calls. This is enforced in our typing
     rules using the label environment $[[D]]$.
     \item Each join point has a \emph{join arity}. In this document, we write
     each label as $[[p/I_t]]$ for the name $[[p]]$, the type $[[t]]$, and the
diff --git a/docs/opt-coercion/fc-normalization-rta.tex b/docs/opt-coercion/fc-normalization-rta.tex
index c3bf41bd81..0600427e98 100755
--- a/docs/opt-coercion/fc-normalization-rta.tex
+++ b/docs/opt-coercion/fc-normalization-rta.tex
@@ -227,7 +227,7 @@ which has evolved from System F to System FC
 source-language features of
 \emph{GADTs}~\cite{cheney-hinze:phantom-types,sheard:omega,spj+:gadt}
 and \emph{type families}~\cite{Kiselyov09funwith,chak+:synonyms}.
-The key feature that allows System FC to accomodate GADTs and type
+The key feature that allows System FC to accommodate GADTs and type
 families is its use of explicit \emph{coercions} that witness the
 equality of two syntactically-different types.  Coercions are erased
 before runtime but, like types, serve as a static consistency
diff --git a/docs/stg-spec/stg-spec.mng b/docs/stg-spec/stg-spec.mng
index 7e87c151d9..ea1b16746c 100644
--- a/docs/stg-spec/stg-spec.mng
+++ b/docs/stg-spec/stg-spec.mng
@@ -131,7 +131,7 @@ acts as a pointer to the value on the heap.
 
 \gram{\ottheap}
 
-Execution procedes until a return value (a literal or a variable, i.e.
+Execution proceeds until a return value (a literal or a variable, i.e.
 pointer to the heap) is produced.  To accommodate for let-no-escape
 bindings, we also allow execution to terminate with a jump to a function
 application of a let-no-escape variable.
diff --git a/docs/users_guide/debug-info.rst b/docs/users_guide/debug-info.rst
index 25491f7e43..45792c65df 100644
--- a/docs/users_guide/debug-info.rst
+++ b/docs/users_guide/debug-info.rst
@@ -147,7 +147,7 @@ this point in the program,
 
     For this reason we should be cautious when interpreting the source locations
     provided by GDB. While these locations will usually be in some sense
-    "correct", they aren't always useful. This is why profiling tools targetting
+    "correct", they aren't always useful. This is why profiling tools targeting
     Haskell should supplement the standard source location information with
     GHC-specific annotations (emitted with ``-g2``) when assigning costs.