Commit 0095cde3 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski

Fix typos

parent 73683f14
...@@ -728,7 +728,7 @@ pprPrecIfaceType :: PprPrec -> IfaceType -> SDoc ...@@ -728,7 +728,7 @@ pprPrecIfaceType :: PprPrec -> IfaceType -> SDoc
pprPrecIfaceType prec ty = eliminateRuntimeRep (ppr_ty prec) ty pprPrecIfaceType prec ty = eliminateRuntimeRep (ppr_ty prec) ty
ppr_ty :: PprPrec -> IfaceType -> SDoc ppr_ty :: PprPrec -> IfaceType -> SDoc
ppr_ty _ (IfaceFreeTyVar tyvar) = ppr tyvar -- This is the main reson for IfaceFreeTyVar! ppr_ty _ (IfaceFreeTyVar tyvar) = ppr tyvar -- This is the main reason for IfaceFreeTyVar!
ppr_ty _ (IfaceTyVar tyvar) = ppr tyvar -- See Note [TcTyVars in IfaceType] ppr_ty _ (IfaceTyVar tyvar) = ppr tyvar -- See Note [TcTyVars in IfaceType]
ppr_ty ctxt_prec (IfaceTyConApp tc tys) = pprTyTcApp ctxt_prec tc tys ppr_ty ctxt_prec (IfaceTyConApp tc tys) = pprTyTcApp ctxt_prec tc tys
ppr_ty ctxt_prec (IfaceTupleTy i p tys) = pprTuple ctxt_prec i p tys ppr_ty ctxt_prec (IfaceTupleTy i p tys) = pprTuple ctxt_prec i p tys
......
...@@ -1534,8 +1534,8 @@ genMachOp_slow opt op [x, y] = case op of ...@@ -1534,8 +1534,8 @@ genMachOp_slow opt op [x, y] = case op of
panicOp = panic $ "LLVM.CodeGen.genMachOp_slow: unary op encountered" panicOp = panic $ "LLVM.CodeGen.genMachOp_slow: unary op encountered"
++ "with two arguments! (" ++ show op ++ ")" ++ "with two arguments! (" ++ show op ++ ")"
-- More then two expression, invalid! -- More than two expression, invalid!
genMachOp_slow _ _ _ = panic "genMachOp: More then 2 expressions in MachOp!" genMachOp_slow _ _ _ = panic "genMachOp: More than 2 expressions in MachOp!"
-- | Handle CmmLoad expression. -- | Handle CmmLoad expression.
......
...@@ -188,7 +188,7 @@ badUnivTvErr ex_tvs bad_tv ...@@ -188,7 +188,7 @@ badUnivTvErr ex_tvs bad_tv
, nest 2 (ppr_with_kind bad_tv) , nest 2 (ppr_with_kind bad_tv)
, hang (text "Existentially-bound variables:") , hang (text "Existentially-bound variables:")
2 (vcat (map ppr_with_kind ex_tvs)) 2 (vcat (map ppr_with_kind ex_tvs))
, text "Probable fix: give the pattern synoym a type signature" , text "Probable fix: give the pattern synonym a type signature"
] ]
where where
ppr_with_kind tv = ppr tv <+> dcolon <+> ppr (tyVarKind tv) ppr_with_kind tv = ppr tv <+> dcolon <+> ppr (tyVarKind tv)
...@@ -1016,7 +1016,7 @@ tcPatToExpr name args pat = go pat ...@@ -1016,7 +1016,7 @@ tcPatToExpr name args pat = go pat
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
For a bidirectional pattern synonym we need to produce an /expression/ For a bidirectional pattern synonym we need to produce an /expression/
that matches the supplied /pattern/, given values for the arguments that matches the supplied /pattern/, given values for the arguments
of the pattern synoymy. For example of the pattern synonym. For example
pattern F x y = (Just x, [y]) pattern F x y = (Just x, [y])
The 'builder' for F looks like The 'builder' for F looks like
$builderF x y = (Just x, [y]) $builderF x y = (Just x, [y])
......
...@@ -116,7 +116,7 @@ colorGraph iterative spinCount colors triv spill graph0 ...@@ -116,7 +116,7 @@ colorGraph iterative spinCount colors triv spill graph0
-- | Scan through the conflict graph separating out trivially colorable and -- | Scan through the conflict graph separating out trivially colorable and
-- potentially uncolorable (problem) nodes. -- potentially uncolorable (problem) nodes.
-- --
-- Checking whether a node is trivially colorable or not is a resonably expensive operation, -- Checking whether a node is trivially colorable or not is a reasonably expensive operation,
-- so after a triv node is found and removed from the graph it's no good to return to the 'start' -- so after a triv node is found and removed from the graph it's no good to return to the 'start'
-- of the graph and recheck a bunch of nodes that will probably still be non-trivially colorable. -- of the graph and recheck a bunch of nodes that will probably still be non-trivially colorable.
-- --
......
...@@ -285,7 +285,7 @@ for name in config.only: ...@@ -285,7 +285,7 @@ for name in config.only:
framework_fail(name, '', 'test not found') framework_fail(name, '', 'test not found')
else: else:
# Let user fix .T file errors before reporting on unfound tests. # Let user fix .T file errors before reporting on unfound tests.
# The reson the test can not be found is likely because of those # The reason the test can not be found is likely because of those
# .T file errors. # .T file errors.
pass pass
......
...@@ -5,5 +5,5 @@ T14552.hs:22:9: error: ...@@ -5,5 +5,5 @@ T14552.hs:22:9: error:
Existentially-bound variables: Existentially-bound variables:
k :: * k :: *
w :: k --> * w :: k --> *
Probable fix: give the pattern synoym a type signature Probable fix: give the pattern synonym a type signature
• In the declaration for pattern synonym ‘FOO’ • In the declaration for pattern synonym ‘FOO’
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