Commit e01367ff authored by Gabor Greif's avatar Gabor Greif 💬

Some typos in comments

parent 8d34ae39
......@@ -1759,7 +1759,7 @@ rewriteEqEvidence :: CtEvidence -- Old evidence :: olhs ~ orhs (not swap
-- or orhs ~ olhs (swapped)
-> SwapFlag
-> TcType -> TcType -- New predicate nlhs ~ nrhs
-- Should be zonked, becuase we use typeKind on nlhs/nrhs
-- Should be zonked, because we use typeKind on nlhs/nrhs
-> TcCoercion -- lhs_co, of type :: nlhs ~ olhs
-> TcCoercion -- rhs_co, of type :: nrhs ~ orhs
-> TcS (Maybe CtEvidence) -- Of type nlhs ~ nrhs
......
......@@ -214,7 +214,7 @@ test('T7804', normal, compile, [''])
test('T7837', normal, compile, ['-O -ddump-rule-firings'])
test('T4185', normal, compile, [''])
# Cuased infinite loop in the compiler
# Caused infinite loop in the compiler
test('T8002',
normal,
run_command,
......
......@@ -17,7 +17,7 @@ diverges :: Int
diverges = diverges
-- The result should not have a CPR property
-- Becuase we are lub’ing "m" and "<S,U>m" in the case expression.
-- Because we are lub’ing "m" and "<S,U>m" in the case expression.
f :: D x -> x
f x = case x of
A -> hasCPR
......
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