diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-19 10:28:01 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-07 18:36:49 -0400 |
| commit | 255418da5d264fb2758bc70925adb2094f34adc3 (patch) | |
| tree | 39e3d7f84571e750f2a087c1bc2ab87198e9b147 /compiler/main | |
| parent | 3d2991f8b4c1b686323b2c9452ce845a60b8d94c (diff) | |
| download | haskell-255418da5d264fb2758bc70925adb2094f34adc3.tar.gz | |
Modules: type-checker (#13009)
Update Haddock submodule
Diffstat (limited to 'compiler/main')
| -rw-r--r-- | compiler/main/StaticPtrTable.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/main/StaticPtrTable.hs b/compiler/main/StaticPtrTable.hs index 24bb7c974f..15214f2ad6 100644 --- a/compiler/main/StaticPtrTable.hs +++ b/compiler/main/StaticPtrTable.hs @@ -65,7 +65,7 @@ Here is a running example: * The typechecker verifies that all free variables occurring in the static form are floatable to top level (see Note [Meaning of - IdBindingInfo] in TcRnTypes). In our example, 'k' is floatable. + IdBindingInfo] in GHC.Tc.Types). In our example, 'k' is floatable. Even though it is bound in a nested let, we are fine. * The desugarer replaces the static form with an application of the @@ -137,7 +137,7 @@ import GHC.Types.Name import Outputable import GHC.Platform import PrelNames -import TcEnv (lookupGlobal) +import GHC.Tc.Utils.Env (lookupGlobal) import GHC.Core.Type import Control.Monad.Trans.Class (lift) |