summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabor Greif <ggreif@gmail.com>2015-08-01 17:31:42 +0200
committerGabor Greif <ggreif@gmail.com>2015-08-01 17:33:34 +0200
commit75504f300d4db33ff66cc1a572d473bdb23b6a42 (patch)
treed0b7f43378657ed583014767da28021b569cec80
parentad089f58be522cb68c0306c21c5df9d72b6c0aff (diff)
downloadhaskell-75504f300d4db33ff66cc1a572d473bdb23b6a42.tar.gz
Typos in comments
-rw-r--r--compiler/basicTypes/MkId.hs2
-rw-r--r--compiler/hsSyn/HsDecls.hs2
-rw-r--r--compiler/typecheck/TcValidity.hs2
-rw-r--r--compiler/types/FamInstEnv.hs2
-rw-r--r--rts/win32/GetTime.c2
5 files changed, 5 insertions, 5 deletions
diff --git a/compiler/basicTypes/MkId.hs b/compiler/basicTypes/MkId.hs
index bdcaf72864..11f8f788cd 100644
--- a/compiler/basicTypes/MkId.hs
+++ b/compiler/basicTypes/MkId.hs
@@ -833,7 +833,7 @@ wrapNewTypeBody :: TyCon -> [Type] -> CoreExpr -> CoreExpr
-- newtype T a = MkT (a,Int)
-- MkT :: forall a. (a,Int) -> T a
-- MkT = /\a. \(x:(a,Int)). x `cast` sym (CoT a)
--- where CoT is the coercion TyCon assoicated with the newtype
+-- where CoT is the coercion TyCon associated with the newtype
--
-- The call (wrapNewTypeBody T [a] e) returns the
-- body of the wrapper, namely
diff --git a/compiler/hsSyn/HsDecls.hs b/compiler/hsSyn/HsDecls.hs
index 79b0deeb16..7b263ab4fc 100644
--- a/compiler/hsSyn/HsDecls.hs
+++ b/compiler/hsSyn/HsDecls.hs
@@ -494,7 +494,7 @@ data TyClDecl name
-- For details on above see note [Api annotations] in ApiAnnotation
DataDecl { tcdLName :: Located name -- ^ Type constructor
- , tcdTyVars :: LHsTyVarBndrs name -- ^ Type variables; for an assoicated type
+ , tcdTyVars :: LHsTyVarBndrs name -- ^ Type variables; for an associated type
-- these include outer binders
-- Eg class T a where
-- type F a :: *
diff --git a/compiler/typecheck/TcValidity.hs b/compiler/typecheck/TcValidity.hs
index 4dd9a5eb91..67d75175b9 100644
--- a/compiler/typecheck/TcValidity.hs
+++ b/compiler/typecheck/TcValidity.hs
@@ -1107,7 +1107,7 @@ So we
consistent with the instance types [p] y Int
We do *not* assume (at this point) the the bound variables of
-the assoicated type instance decl are the same as for the parent
+the associated type instance decl are the same as for the parent
instance decl. So, for example,
instance C [p] Int
diff --git a/compiler/types/FamInstEnv.hs b/compiler/types/FamInstEnv.hs
index 98071e8af3..a4b1a21d17 100644
--- a/compiler/types/FamInstEnv.hs
+++ b/compiler/types/FamInstEnv.hs
@@ -891,7 +891,7 @@ topNormaliseType_maybe :: FamInstEnvs -> Type -> Maybe (Coercion, Type)
-- * type function redex
-- * data family redex
-- * newtypes
--- returning an appropriate Representaitonal coercion. Specifically, if
+-- returning an appropriate Representational coercion. Specifically, if
-- topNormaliseType_maybe env ty = Maybe (co, ty')
-- then
-- (a) co :: ty ~R ty'
diff --git a/rts/win32/GetTime.c b/rts/win32/GetTime.c
index 514def6db2..3600839bca 100644
--- a/rts/win32/GetTime.c
+++ b/rts/win32/GetTime.c
@@ -48,7 +48,7 @@ getProcessCPUTime(void)
}
// Number of ticks per second used by the QueryPerformanceFrequency
-// implementaiton, represented by a 64-bit union type.
+// implementation, represented by a 64-bit union type.
static LARGE_INTEGER qpc_frequency = {.QuadPart = 0};
// Initialize qpc_frequency. This function should be called before any call to