diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-09-06 14:42:02 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-09-07 11:55:07 +0200 |
| commit | d97a6fe2b97c81a167219eae892d3820c0685435 (patch) | |
| tree | 4387af534308dbaa966a80f28abc3ceeabf43219 /compiler/typecheck | |
| parent | fee403fd935479e8a1ad563fd07585d91c7e04a2 (diff) | |
| download | haskell-d97a6fe2b97c81a167219eae892d3820c0685435.tar.gz | |
Fix typos in diagnostics, testsuite and comments
Diffstat (limited to 'compiler/typecheck')
| -rw-r--r-- | compiler/typecheck/TcGenDeriv.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcInstDcls.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcUnify.hs | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/compiler/typecheck/TcGenDeriv.hs b/compiler/typecheck/TcGenDeriv.hs index 00ed9edc11..4af8b024d1 100644 --- a/compiler/typecheck/TcGenDeriv.hs +++ b/compiler/typecheck/TcGenDeriv.hs @@ -458,7 +458,7 @@ gen_Ord_binds loc tycon = do mkTagCmp :: DynFlags -> OrdOp -> LHsExpr GhcPs -- Both constructors known to be nullary - -- genreates (case data2Tag a of a# -> case data2Tag b of b# -> a# `op` b# + -- generates (case data2Tag a of a# -> case data2Tag b of b# -> a# `op` b# mkTagCmp dflags op = untag_Expr dflags tycon[(a_RDR, ah_RDR),(b_RDR, bh_RDR)] $ unliftedOrdOp tycon intPrimTy op ah_RDR bh_RDR diff --git a/compiler/typecheck/TcInstDcls.hs b/compiler/typecheck/TcInstDcls.hs index 2f3d358361..e5a747619b 100644 --- a/compiler/typecheck/TcInstDcls.hs +++ b/compiler/typecheck/TcInstDcls.hs @@ -1670,7 +1670,7 @@ generic default methods. Note [INLINE and default methods] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Default methods need special case. They are supposed to behave rather like -macros. For exmample +macros. For example class Foo a where op1, op2 :: Bool -> a -> a diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs index 56cc95dfc9..5ae8c09f8b 100644 --- a/compiler/typecheck/TcUnify.hs +++ b/compiler/typecheck/TcUnify.hs @@ -1153,7 +1153,7 @@ buildImplication skol_info skol_tvs given thing_inside else -- Fast path. We check every function argument with -- tcPolyExpr, which uses tcSkolemise and hence checkConstraints. - -- So tihs fast path is well-exercised + -- So this fast path is well-exercised do { res <- thing_inside ; return (emptyBag, emptyTcEvBinds, res) } } @@ -1162,7 +1162,7 @@ implicationNeeded :: [TcTyVar] -> [EvVar] -> TcM Bool -- to have an EvBindsVar for them when they might be deferred to -- runtime. Otherwise, they end up as top-level unlifted bindings, -- which are verboten. See also Note [Deferred errors for coercion holes] --- in TcErrors. cf Trac #14149 for an exmample of what goes wrong. +-- in TcErrors. cf Trac #14149 for an example of what goes wrong. implicationNeeded skol_tvs given | null skol_tvs , null given |