Commit f43db14e authored by Gabor Greif's avatar Gabor Greif 💬
Browse files

Typos in comments

parent a391a386
......@@ -433,7 +433,7 @@ schemeE d s p (AnnLet (AnnNonRec x (_,rhs)) (_,body))
Just data_con <- isDataConWorkId_maybe v,
dataConRepArity data_con == length args_r_to_l
= do -- Special case for a non-recursive let whose RHS is a
-- saturatred constructor application.
-- saturated constructor application.
-- Just allocate the constructor and carry on
alloc_code <- mkConAppCode d s p data_con args_r_to_l
body_code <- schemeE (d+1) s (Map.insert x d p) body
......
......@@ -774,7 +774,7 @@ collectLocalBinders (HsIPBinds _) = []
collectLocalBinders EmptyLocalBinds = []
collectHsIdBinders, collectHsValBinders :: HsValBindsLR idL idR -> [idL]
-- Collect Id binders only, or Ids + pattern synonmys, respectively
-- Collect Id binders only, or Ids + pattern synonyms, respectively
collectHsIdBinders = collect_hs_val_binders True
collectHsValBinders = collect_hs_val_binders False
......
......@@ -744,7 +744,7 @@ temporary, then do the other computation, and then use the temporary:
{- Note [Power instruction format]
In some instructions the 16 bit offset must be a multiple of 4, i.e.
the two least significant bits mus be zero. The "Power ISA" specification
the two least significant bits must be zero. The "Power ISA" specification
calls these instruction formats "DS-FORM" and the instructions with
arbitrary 16 bit offsets are "D-FORM".
......
......@@ -243,7 +243,7 @@ unify x := [a] during type checking, and then use the instantiating type
dl = $dfunEqList d
in k [a] dl ys
This "concealing" story works for /uni-directional/ pattern synonmys,
This "concealing" story works for /uni-directional/ pattern synonyms,
but obviously not for bidirectional ones. So in the bidirectional case
we use SigTv, rather than a generic TauTv, meta-tyvar so that. And
we should really check that those SigTvs don't get unified with each
......
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