Commit 3bbdb5a1 authored by sheaf's avatar sheaf
Browse files

Update Note [The flattening story]

  * reinstates a line that was
    - added by 8dc6d645
    - removed by e3dbb44f

[skip ci]
parent cf01477f
Pipeline #20996 skipped
...@@ -62,7 +62,7 @@ Note [The flattening story] ...@@ -62,7 +62,7 @@ Note [The flattening story]
- A unification flatten-skolem, fmv, stands for the as-yet-unknown - A unification flatten-skolem, fmv, stands for the as-yet-unknown
type to which (F xis) will eventually reduce. It is filled in type to which (F xis) will eventually reduce. It is filled in
only by dischargeFmv.
- All fsk/fmv variables are "untouchable". To make it simple to test, - All fsk/fmv variables are "untouchable". To make it simple to test,
we simply give them TcLevel=0. This means that in a CTyVarEq, say, we simply give them TcLevel=0. This means that in a CTyVarEq, say,
......
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