Note [TcLevel assignment]

GHC/Tc/Utils/TcType.hs:771 compiler

We arrange the TcLevels like this

   0          Top level
   1          First-level implication constraints
   2          Second-level implication constraints
   ...etc...
   QLInstVar  The level for QuickLook instantiation variables
              See Note [The QLInstVar TcLevel]

References 1

The QLInstVar TcLevel GHC.Tc.Utils.TcType

Referenced by 4

GHC.Tc.Utils.TcType call site ×3
GHC.Tc.Utils.Monad call site