Commit 755bdc83 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu

Comments & typos only

parent ba6308ec
......@@ -536,7 +536,7 @@ data EvTerm
-- Note [KnownNat & KnownSymbol and EvLit]
| EvCoercible EvCoercible -- Dictionary for "Coercible a b"
-- Note [Coercible Instances]
-- Note [Coercible Instances] in TcInteract
deriving( Data.Data, Data.Typeable)
......
......@@ -1773,7 +1773,7 @@ matchClassInst _ clas [ ty1, ty2 ] _
traceTcS "matchClassInst for" $ ppr clas <+> ppr ty1 <+> ppr ty2
rdr_env <- getGlobalRdrEnvTcS
safeMode <- safeLanguageOn `fmap` getDynFlags
ev <- getCoericbleInst safeMode rdr_env ty1 ty2
ev <- getCoercibleInst safeMode rdr_env ty1 ty2
traceTcS "matchClassInst returned" $ ppr ev
return ev
......@@ -1860,8 +1860,8 @@ matchClassInst inerts clas tys loc
-- See Note [Coercible Instances]
-- Changes to this logic should likely be reflected in coercible_msg in TcErrors.
getCoericbleInst :: Bool -> GlobalRdrEnv -> TcType -> TcType -> TcS LookupInstResult
getCoericbleInst safeMode rdr_env ty1 ty2
getCoercibleInst :: Bool -> GlobalRdrEnv -> TcType -> TcType -> TcS LookupInstResult
getCoercibleInst safeMode rdr_env ty1 ty2
| ty1 `eqType` ty2
= do return $ GenInst []
$ EvCoercible (EvCoercibleRefl ty1)
......@@ -1939,7 +1939,7 @@ Note [Coercible Instances]
~~~~~~~~~~~~~~~~~~~~~~~~~~
The class Coercible is special: There are no regular instances, and the user
cannot even define them. Instead, the type checker will create instances and
their evidence out of thin air, in getCoericbleInst. The following “instances”
their evidence out of thin air, in getCoercibleInst. The following “instances”
are present:
1. instance Coercible a a
......
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