Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 18 Jan 2019 17:12:13 +0000 (17:12 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Fri, 8 Feb 2019 16:00:26 +0000 (11:00 -0500)
compiler/typecheck/TcBinds.hs
compiler/typecheck/TcExpr.hs
compiler/typecheck/TcType.hs

index abdce58..05fe393 100644 (file)
@@ -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
index 0e09008..b87f877 100644 (file)
@@ -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
 
 
 ----------------
index b2c9b32..a7ba6b7 100644 (file)
@@ -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