diff options
Diffstat (limited to 'libraries/ghci/GHCi/Run.hs')
| -rw-r--r-- | libraries/ghci/GHCi/Run.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libraries/ghci/GHCi/Run.hs b/libraries/ghci/GHCi/Run.hs index a2ea4e203c..542fe551cd 100644 --- a/libraries/ghci/GHCi/Run.hs +++ b/libraries/ghci/GHCi/Run.hs @@ -3,7 +3,10 @@ {-# OPTIONS_GHC -fno-warn-name-shadowing #-} -- | --- Execute GHCi messages +-- Execute GHCi messages. +-- +-- For details on Remote GHCi, see Note [Remote GHCi] in +-- compiler/ghci/GHCi.hs. -- module GHCi.Run ( run, redirectInterrupts |