diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-01-30 08:45:49 -0500 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-02-01 12:29:26 -0500 |
commit | 88fba8a4b3c22e953a634b81dd0b67ec66eb5e72 (patch) | |
tree | 75a46332ad32cfeaf4f4d52b3b60fd452f2493b6 /ghc | |
parent | 06185102bb06d6d56e00d40172a6a473fc228501 (diff) | |
download | haskell-88fba8a4b3c22e953a634b81dd0b67ec66eb5e72.tar.gz |
Fix a few Note inconsistencies
Diffstat (limited to 'ghc')
-rw-r--r-- | ghc/GHCi/UI.hs | 3 | ||||
-rw-r--r-- | ghc/Main.hs | 2 |
2 files changed, 2 insertions, 3 deletions
diff --git a/ghc/GHCi/UI.hs b/ghc/GHCi/UI.hs index 53838f39eb..9a62d53d17 100644 --- a/ghc/GHCi/UI.hs +++ b/ghc/GHCi/UI.hs @@ -579,7 +579,7 @@ interactiveUI config srcs maybe_exprs = do {- Note [Changing language extensions for interactive evaluation] --------------------------------------------------------------- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ GHCi maintains two sets of options: - The "loading options" apply when loading modules @@ -3353,7 +3353,6 @@ printTyThing tyth = printForUser (pprTyThing showToHeader tyth) {- Note [Filter bindings] ~~~~~~~~~~~~~~~~~~~~~~ - If we don't filter the bindings returned by the function GHC.getBindings, then the :show bindings command will also show unwanted bound names, internally generated by GHC, eg: diff --git a/ghc/Main.hs b/ghc/Main.hs index 69ec3a8593..cb701e24e2 100644 --- a/ghc/Main.hs +++ b/ghc/Main.hs @@ -567,7 +567,7 @@ parseModeFlags args = do Nothing -> doMakeMode Just (m, _) -> m - -- See Note [Handling errors when parsing commandline flags] + -- See Note [Handling errors when parsing command-line flags] unless (null errs1 && null errs2) $ throwGhcException $ errorsToGhcException $ map (("on the commandline", )) $ map (unLoc . errMsg) errs1 ++ errs2 |