Correct name of Note in comment
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Thu, 17 Nov 2016 14:08:04 +0000 (09:08 -0500)
committerRichard Eisenberg <rae@cs.brynmawr.edu>
Thu, 17 Nov 2016 14:08:04 +0000 (09:08 -0500)
compiler/typecheck/TcRnDriver.hs

index 89623b5..1a6a0cc 100644 (file)
@@ -2090,7 +2090,7 @@ tcRnExpr hsc_env mode rdr_expr
     return (snd (normaliseType fam_envs Nominal ty))
     }
   where
-    -- See Note [Deeply instantiate in :type]
+    -- See Note [TcRnExprMode]
     (inst, infer_mode, perhaps_disable_default_warnings) = case mode of
       TM_Inst    -> (True,  NoRestrictions, id)
       TM_NoInst  -> (False, NoRestrictions, id)