Commit 86ea3b1e authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

comments only

parent e2998d72
......@@ -64,7 +64,7 @@ Note [The flattening story]
fmv ~ Int
we NEVER unify fmv.
- A unification flatten-skolems, fmv, ONLY gets unified when either
- A unification flatten-skolem, fmv, ONLY gets unified when either
a) The CFunEqCan takes a step, using an axiom
b) By unflattenWanteds
They are never unified in any other form of equality.
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