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/GHC/Tc/Module.hs-boot | |
| parent | 3d2991f8b4c1b686323b2c9452ce845a60b8d94c (diff) | |
| download | haskell-255418da5d264fb2758bc70925adb2094f34adc3.tar.gz | |
Modules: type-checker (#13009)
Update Haddock submodule
Diffstat (limited to 'compiler/GHC/Tc/Module.hs-boot')
| -rw-r--r-- | compiler/GHC/Tc/Module.hs-boot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Module.hs-boot b/compiler/GHC/Tc/Module.hs-boot new file mode 100644 index 0000000000..f1f5e31e8a --- /dev/null +++ b/compiler/GHC/Tc/Module.hs-boot @@ -0,0 +1,12 @@ +module GHC.Tc.Module where + +import GhcPrelude +import GHC.Core.Type(TyThing) +import GHC.Tc.Types (TcM) +import Outputable (SDoc) +import GHC.Types.Name (Name) + +checkBootDeclM :: Bool -- ^ True <=> an hs-boot file (could also be a sig) + -> TyThing -> TyThing -> TcM () +missingBootThing :: Bool -> Name -> String -> SDoc +badReexportedBootThing :: Bool -> Name -> Name -> SDoc |