diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-01-18 17:12:13 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-08 11:00:26 -0500 |
commit | 616b2ef50d0a4c7cdcda97439936ea31b9a37d09 (patch) | |
tree | cdd56906fa7764d6c32531107f376585e7248c41 | |
parent | 0a4bbb526688a97db0edbd5acc7471e3b139ed7d (diff) | |
download | haskell-616b2ef50d0a4c7cdcda97439936ea31b9a37d09.tar.gz |
Comments only
-rw-r--r-- | compiler/typecheck/TcBinds.hs | 2 | ||||
-rw-r--r-- | compiler/typecheck/TcExpr.hs | 2 | ||||
-rw-r--r-- | compiler/typecheck/TcType.hs | 13 |
3 files changed, 11 insertions, 6 deletions
diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs index abdce588a3..05fe393b98 100644 --- a/compiler/typecheck/TcBinds.hs +++ b/compiler/typecheck/TcBinds.hs @@ -1267,7 +1267,7 @@ tcMonoBinds is_rec sig_fn no_gen do { ((co_fn, matches'), rhs_ty) <- tcInferInst $ \ exp_ty -> -- tcInferInst: see TcUnify, - -- Note [Deep instantiation of InferResult] + -- Note [Deep instantiation of InferResult] in TcUnify tcExtendBinderStack [TcIdBndr_ExpType name exp_ty NotTopLevel] $ -- We extend the error context even for a non-recursive -- function so that in type error messages we show the diff --git a/compiler/typecheck/TcExpr.hs b/compiler/typecheck/TcExpr.hs index 0e090085ad..b87f87771b 100644 --- a/compiler/typecheck/TcExpr.hs +++ b/compiler/typecheck/TcExpr.hs @@ -1274,7 +1274,7 @@ tcInferFun (L loc (HsRecFld _ f)) tcInferFun fun = tcInferSigma fun -- NB: tcInferSigma; see TcUnify - -- Note [Deep instantiation of InferResult] + -- Note [Deep instantiation of InferResult] in TcUnify ---------------- diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index b2c9b3291f..a7ba6b7966 100644 --- a/compiler/typecheck/TcType.hs +++ b/compiler/typecheck/TcType.hs @@ -364,11 +364,16 @@ data ExpType = Check TcType data InferResult = IR { ir_uniq :: Unique -- For debugging only + , ir_lvl :: TcLevel -- See Note [TcLevel of ExpType] in TcMType - , ir_inst :: Bool -- True <=> deeply instantiate before returning - -- i.e. return a RhoType - -- False <=> do not instantiate before returning - -- i.e. return a SigmaType + + , ir_inst :: Bool + -- True <=> deeply instantiate before returning + -- i.e. return a RhoType + -- False <=> do not instantiate before returning + -- i.e. return a SigmaType + -- See Note [Deep instantiation of InferResult] in TcUnify + , ir_ref :: IORef (Maybe TcType) } -- The type that fills in this hole should be a Type, -- that is, its kind should be (TYPE rr) for some rr |