diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-01-24 11:53:03 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2019-01-24 11:53:03 +0000 |
| commit | 5917d0ad24c27f0086db6692e486704b0d110540 (patch) | |
| tree | a5a73ab2c127421e5a0aaaa7a8a93e9e18df82ff /compiler/utils/Outputable.hs-boot | |
| parent | 886ddb27bfbbb52c41690cd29e2ab3ed80bf5450 (diff) | |
| download | haskell-wip/T15952-2.tar.gz | |
WIP: make a smart mkAppTyMwip/T15952-2
This branch, wip/T15952-2, is WIP on the idea of making
a monadic mkAppTyM that ensures the Purely Kinded Invariant.
Needs comments etc. But it validates all but one test!
Diffstat (limited to 'compiler/utils/Outputable.hs-boot')
| -rw-r--r-- | compiler/utils/Outputable.hs-boot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/utils/Outputable.hs-boot b/compiler/utils/Outputable.hs-boot index ad7d091833..fb3c173a33 100644 --- a/compiler/utils/Outputable.hs-boot +++ b/compiler/utils/Outputable.hs-boot @@ -1,11 +1,12 @@ module Outputable where import GhcPrelude +import GHC.Stack( HasCallStack ) data SDoc showSDocUnsafe :: SDoc -> String -warnPprTrace :: Bool -> String -> Int -> SDoc -> a -> a +warnPprTrace :: HasCallStack => Bool -> String -> Int -> SDoc -> a -> a text :: String -> SDoc |