Commit 7fcfee1c authored by Gabor Greif's avatar Gabor Greif 💬

A few typos in comments

parent c0bdfee7
......@@ -1239,7 +1239,7 @@ CONLIKE thing (modulo lets).
Note [Lone variables] See also Note [Interaction of exprIsWorkFree and lone variables]
~~~~~~~~~~~~~~~~~~~~~ which appears below
The "lone-variable" case is important. I spent ages messing about
with unsatisfactory varaints, but this is nice. The idea is that if a
with unsatisfactory variants, but this is nice. The idea is that if a
variable appears all alone
as an arg of lazy fn, or rhs BoringCtxt
......
......@@ -850,7 +850,7 @@ We may encounter a unification ty1 ~ ty2 that cannot be performed syntactically,
and yet its consistency is undetermined. Previously, there was no way to still
make it consistent. So a mismatch error was issued.
Now these unfications are deferred until constraint simplification, where type
Now these unifications are deferred until constraint simplification, where type
family instances and given equations may (or may not) establish the consistency.
Deferred unifications are of the form
F ... ~ ...
......@@ -860,7 +860,7 @@ E.g.
id :: x ~ y => x -> y
id e = e
involves the unfication x = y. It is deferred until we bring into account the
involves the unification x = y. It is deferred until we bring into account the
context x ~ y to establish that it holds.
If available, we defer original types (rather than those where closed type
......
......@@ -10,7 +10,7 @@
-- It's been removed in August 2015
-- see Phab D1118
-- test should result into parse error
-- test should result in a parse error
module ShouldFail where
......
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