Commit 512541bc authored by Ryan Scott's avatar Ryan Scott
Browse files

Add a forward reference for a Note

And fix a typo within said Note.

[ci skip]
parent b501709e
......@@ -1484,7 +1484,7 @@ pushTcLevelM_ :: TcM a -> TcM a
pushTcLevelM_ x = updLclEnv (\ env -> env { tcl_tclvl = pushTcLevel (tcl_tclvl env) }) x
pushTcLevelM :: TcM a -> TcM (a, TcLevel)
-- See Note [TcLevel assignment]
-- See Note [TcLevel assignment] in TcType
pushTcLevelM thing_inside
= do { env <- getLclEnv
; let tclvl' = pushTcLevel (tcl_tclvl env)
......
......@@ -654,7 +654,7 @@ We arrange the TcLevels like this
...etc...
The even-numbered levels are for the flatten-meta-variables assigned
at the next level in. Eg for a second-level implication conststraint
at the next level in. Eg for a second-level implication constraint
(level 5), the flatten meta-vars are level 4, which makes them untouchable.
The flatten meta-vars could equally well all have level 0, or just NotALevel
since they do not live across implications.
......
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