Commit 80265c4c authored by Gabor Greif's avatar Gabor Greif 💬

Typos in comments

parent aff51af1
......@@ -657,7 +657,7 @@ tcRnHsBootDecls hsc_src decls
; mapM_ (badBootDecl hsc_src "rule") rule_decls
; mapM_ (badBootDecl hsc_src "vect") vect_decls
-- Typecheck type/class/isntance decls
-- Typecheck type/class/instance decls
; traceTc "Tc2 (boot)" empty
; (tcg_env, inst_infos, _deriv_binds)
<- tcTyClsInstDecls tycl_decls inst_decls deriv_decls val_binds
......@@ -1023,7 +1023,7 @@ However we store the default rhs (Proxy x -> y) in F's TyCon, using
F's own type variables, so we need to convert it to (Proxy a -> b).
We do this by calling tcMatchTys to match them up. This also ensures
that x's kind matches a's and similarly for y and b. The error
message isnt' great, mind you. (Trac #11361 was caused by not doing a
message isn't great, mind you. (Trac #11361 was caused by not doing a
proper tcMatchTys here.) -}
......@@ -946,7 +946,7 @@ checkValidInstHead ctxt clas cls_args
(instTypeErr clas cls_args abstract_class_msg)
-- Check language restrictions;
-- but not for SPECIALISE isntance pragmas
-- but not for SPECIALISE instance pragmas
; let ty_args = filterOutInvisibleTypes (classTyCon clas) cls_args
; unless spec_inst_prag $
do { checkTc (xopt LangExt.TypeSynonymInstances dflags ||
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