Commit 3451584f authored by Vilem-Benjamin Liepelt's avatar Vilem-Benjamin Liepelt Committed by Marge Bot

Fix spelling mistakes and typos

parent 6890c38d
......@@ -592,8 +592,8 @@ gen_Enum_binds loc tycon = do
[ succ_enum dflags
, pred_enum dflags
, to_enum dflags
, enum_from dflags
, enum_from_then dflags
, enum_from dflags -- [0 ..]
, enum_from_then dflags -- [0, 1 ..]
, from_enum dflags
]
aux_binds = listToBag $ map DerivAuxBind
......
......@@ -624,7 +624,7 @@ mkIPOcc = mk_simple_deriv varName "$i"
mkSpecOcc = mk_simple_deriv varName "$s"
mkForeignExportOcc = mk_simple_deriv varName "$f"
mkRepEqOcc = mk_simple_deriv tvName "$r" -- In RULES involving Coercible
mkClassDataConOcc = mk_simple_deriv dataName "C:" -- Data con for a class
mkClassDataConOcc = mk_simple_deriv dataName "C:" -- Data con for a class
mkNewTyCoOcc = mk_simple_deriv tcName "N:" -- Coercion for newtypes
mkInstTyCoOcc = mk_simple_deriv tcName "D:" -- Coercion for type functions
mkEqPredCoOcc = mk_simple_deriv tcName "$co"
......
......@@ -301,7 +301,7 @@ subexpression elimination pass.
Rules are filtered by the user provided string, a rule is kept if a prefix
of its name matches the string.
The pass then checks whether any of these rules could apply to
the program but which didn't file for some reason. For example, specifying
the program but which didn't fire for some reason. For example, specifying
``-drule-check=SPEC`` will check whether there are any applications which
might be subject to a rule created by specialisation.
......
......@@ -277,10 +277,10 @@ to list-producing functions abstracted over cons and nil. Here we call them
FB functions because their names usually end with 'FB'. It's a good idea to
inline FB functions because:
* They are higher-order functions and therefore benefits from inlining.
* They are higher-order functions and therefore benefit from inlining.
* When the final consumer is a left fold, inlining the FB functions is the only
way to make arity expansion to happen. See Note [Left fold via right fold].
way to make arity expansion happen. See Note [Left fold via right fold].
For this reason we mark all FB functions INLINE [0]. The [0] phase-specifier
ensures that calls to FB functions can be written back to the original form
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment