- = TcDown
- [Type] -- Types used for defaulting
-
- (TcRef UniqSupply) -- Unique supply
-
- SrcLoc -- Source location
- ErrCtxt -- Error context
- (TcRef (Bag WarnMsg,
- Bag ErrMsg))
-
-type ErrCtxt = [TidyEnv -> NF_TcM Unused (TidyEnv, Message)]
+ = TcDown {
+ tc_dflags :: DynFlags,
+ tc_def :: [Type], -- Types used for defaulting
+ tc_us :: (TcRef UniqSupply), -- Unique supply
+ tc_loc :: SrcLoc, -- Source location
+ tc_ctxt :: ErrCtxt, -- Error context
+ tc_errs :: (TcRef (Bag WarnMsg, Bag ErrMsg))
+ }
+
+type ErrCtxt = [TidyEnv -> NF_TcM (TidyEnv, Message)]