+HasCallStack

Author: angerman

Cabal-syntax/src/Distribution/Compat/Graph.hs

@@ -105,6 +105,8 @@ import qualified Data.Set as Set
 import qualified Data.Tree as Tree
 import qualified Distribution.Compat.Prelude as Prelude
 
+import GHC.Stack (HasCallStack)
+
 -- | A graph of nodes @a@.  The nodes are expected to have instance
 -- of class 'IsNode'.
 data Graph a = Graph
@@ -377,7 +379,7 @@ fromMap m =
     bounds = (0, Map.size m - 1)
 
 -- | /O(V log V)/. Convert a list of nodes (with distinct keys) into a graph.
-fromDistinctList :: (IsNode a, Show (Key a)) => [a] -> Graph a
+fromDistinctList :: (HasCallStack, IsNode a, Show (Key a)) => [a] -> Graph a
 fromDistinctList =
   fromMap
     . Map.fromListWith (\_ -> duplicateError)

Cabal-syntax/src/Distribution/FieldGrammar/Class.hs

@@ -23,6 +23,8 @@ import Distribution.FieldGrammar.Newtypes
 import Distribution.Fields.Field
 import Distribution.Utils.ShortText
 
+import GHC.Stack (HasCallStack)
+
 -- | 'FieldGrammar' is parametrised by
 --
 -- * @s@ which is a structure we are parsing. We need this to provide prettyprinter
@@ -43,11 +45,11 @@ class
     | g -> c
   where
   -- | Unfocus, zoom out, /blur/ 'FieldGrammar'.
-  blurFieldGrammar :: ALens' a b -> g b d -> g a d
+  blurFieldGrammar :: HasCallStack => ALens' a b -> g b d -> g a d
 
   -- | Field which should be defined, exactly once.
   uniqueFieldAla
-    :: (c b, Newtype a b)
+    :: (c b, Newtype a b, HasCallStack)
     => FieldName
     -- ^ field name
     -> (a -> b)
@@ -58,7 +60,7 @@ class
 
   -- | Boolean field with a default value.
   booleanFieldDef
-    :: FieldName
+    :: HasCallStack => FieldName
     -- ^ field name
     -> ALens' s Bool
     -- ^ lens into the field
@@ -68,7 +70,7 @@ class
 
   -- | Optional field.
   optionalFieldAla
-    :: (c b, Newtype a b)
+    :: (c b, Newtype a b, HasCallStack)
     => FieldName
     -- ^ field name
     -> (a -> b)
@@ -79,7 +81,7 @@ class
 
   -- | Optional field with default value.
   optionalFieldDefAla
-    :: (c b, Newtype a b, Eq a)
+    :: (c b, Newtype a b, Eq a, HasCallStack)
     => FieldName
     -- ^ field name
     -> (a -> b)
@@ -95,7 +97,7 @@ class
   --
   -- @since 3.0.0.0
   freeTextField
-    :: FieldName
+    :: HasCallStack => FieldName
     -> ALens' s (Maybe String)
     -- ^ lens into the field
     -> g s (Maybe String)
@@ -105,14 +107,14 @@ class
   --
   -- @since 3.0.0.0
   freeTextFieldDef
-    :: FieldName
+    :: HasCallStack => FieldName
     -> ALens' s String
     -- ^ lens into the field
     -> g s String
 
   -- | @since 3.2.0.0
   freeTextFieldDefST
-    :: FieldName
+    :: HasCallStack => FieldName
     -> ALens' s ShortText
     -- ^ lens into the field
     -> g s ShortText
@@ -123,7 +125,7 @@ class
   --
   -- /Note:/ 'optionalFieldAla' is a @monoidalField@ with 'Last' monoid.
   monoidalFieldAla
-    :: (c b, Monoid a, Newtype a b)
+    :: (c b, Monoid a, Newtype a b, HasCallStack)
     => FieldName
     -- ^ field name
     -> (a -> b)
@@ -134,21 +136,21 @@ class
 
   -- | Parser matching all fields with a name starting with a prefix.
   prefixedFields
-    :: FieldName
+    :: HasCallStack => FieldName
     -- ^ field name prefix
     -> ALens' s [(String, String)]
     -- ^ lens into the field
     -> g s [(String, String)]
 
   -- | Known field, which we don't parse, nor pretty print.
-  knownField :: FieldName -> g s ()
+  knownField :: HasCallStack => FieldName -> g s ()
 
   -- | Field which is parsed but not pretty printed.
-  hiddenField :: g s a -> g s a
+  hiddenField :: HasCallStack => g s a -> g s a
 
   -- | Deprecated since
   deprecatedSince
-    :: CabalSpecVersion
+    :: HasCallStack => CabalSpecVersion
     -- ^ version
     -> String
     -- ^ deprecation message
@@ -157,7 +159,7 @@ class
 
   -- | Removed in. If we encounter removed field, parsing fails.
   removedIn
-    :: CabalSpecVersion
+    :: HasCallStack => CabalSpecVersion
     -- ^ version
     -> String
     -- ^ removal message
@@ -166,7 +168,7 @@ class
 
   -- | Annotate field with since spec-version.
   availableSince
-    :: CabalSpecVersion
+    :: HasCallStack => CabalSpecVersion
     -- ^ spec version
     -> a
     -- ^ default value
@@ -181,15 +183,15 @@ class
   --
   -- @since 3.4.0.0
   availableSinceWarn
-    :: CabalSpecVersion
+    :: HasCallStack => CabalSpecVersion
     -- ^ spec version
     -> g s a
     -> g s a
   availableSinceWarn _ = id
 
 -- | Field which can be defined at most once.
 uniqueField
-  :: (FieldGrammar c g, c (Identity a))
+  :: (FieldGrammar c g, c (Identity a), HasCallStack)
   => FieldName
   -- ^ field name
   -> ALens' s a
@@ -199,7 +201,7 @@ uniqueField fn l = uniqueFieldAla fn Identity l
 
 -- | Field which can be defined at most once.
 optionalField
-  :: (FieldGrammar c g, c (Identity a))
+  :: (FieldGrammar c g, c (Identity a), HasCallStack)
   => FieldName
   -- ^ field name
   -> ALens' s (Maybe a)
@@ -209,7 +211,7 @@ optionalField fn l = optionalFieldAla fn Identity l
 
 -- | Optional field with default value.
 optionalFieldDef
-  :: (FieldGrammar c g, Functor (g s), c (Identity a), Eq a)
+  :: (FieldGrammar c g, Functor (g s), c (Identity a), Eq a, HasCallStack)
   => FieldName
   -- ^ field name
   -> ALens' s a
@@ -221,7 +223,7 @@ optionalFieldDef fn l x = optionalFieldDefAla fn Identity l x
 
 -- | Field which can be define multiple times, and the results are @mappend@ed.
 monoidalField
-  :: (FieldGrammar c g, c (Identity a), Monoid a)
+  :: (FieldGrammar c g, c (Identity a), Monoid a, HasCallStack)
   => FieldName
   -- ^ field name
   -> ALens' s a
@@ -231,7 +233,7 @@ monoidalField fn l = monoidalFieldAla fn Identity l
 
 -- | Default implementation for 'freeTextFieldDefST'.
 defaultFreeTextFieldDefST
-  :: (Functor (g s), FieldGrammar c g)
+  :: (Functor (g s), FieldGrammar c g, HasCallStack)
   => FieldName
   -> ALens' s ShortText
   -- ^ lens into the field

Cabal-syntax/src/Distribution/InstalledPackageInfo.hs

@@ -97,7 +97,7 @@ sourceComponentName = CLibName . sourceLibName
 
 -- | Return either errors, or IPI with list of warnings
 parseInstalledPackageInfo
-  :: ByteString
+  :: HasCallStack => ByteString
   -> Either (NonEmpty String) ([String], InstalledPackageInfo)
 parseInstalledPackageInfo s = case P.readFields s of
   Left err -> Left (show err :| [])

Cabal-syntax/src/Distribution/Parsec.hs

@@ -70,6 +70,8 @@ import qualified Distribution.Compat.DList as DList
 import qualified Distribution.Compat.MonadFail as Fail
 import qualified Text.Parsec as Parsec
 
+import GHC.Stack (HasCallStack)
+
 -------------------------------------------------------------------------------
 -- Class
 -------------------------------------------------------------------------------
@@ -78,7 +80,7 @@ import qualified Text.Parsec as Parsec
 --
 -- For parsing @.cabal@ like file structure, see "Distribution.Fields".
 class Parsec a where
-  parsec :: CabalParsing m => m a
+  parsec :: (HasCallStack, CabalParsing m) => m a
 
 -- | Parsing class which
 --

Cabal/src/Distribution/Simple/Configure.hs

@@ -2065,7 +2065,7 @@ reportFailedDependencies verbosity failed =
 -- with a warning and treated as empty ones, since technically they do not
 -- contain any package.
 getInstalledPackages
-  :: Verbosity
+  :: HasCallStack => Verbosity
   -> Compiler
   -> Maybe (SymbolicPath CWD (Dir from))
   -> PackageDBStackX (SymbolicPath from (Dir PkgDB))
@@ -2108,7 +2108,7 @@ getInstalledPackages verbosity comp mbWorkDir packageDBs progdb = do
 -- on the package database stack in question.  However, when sandboxes
 -- are involved these sanity checks are not desirable.
 getPackageDBContents
-  :: Verbosity
+  :: HasCallStack => Verbosity
   -> Compiler
   -> Maybe (SymbolicPath CWD (Dir Pkg))
   -> PackageDB

Cabal/src/Distribution/Simple/GHC.hs

@@ -150,6 +150,8 @@ import System.Directory
 import Distribution.Simple.Setup (BuildingWhat (..))
 import Distribution.Simple.Setup.Build
 
+import GHC.Stack (HasCallStack)
+
 -- -----------------------------------------------------------------------------
 -- Configuring
 
@@ -400,7 +402,7 @@ getGhcInfo verbosity ghcProg = Internal.getGhcInfo verbosity implInfo ghcProg
 
 -- | Given a single package DB, return all installed packages.
 getPackageDBContents
-  :: Verbosity
+  :: HasCallStack => Verbosity
   -> Maybe (SymbolicPath CWD (Dir from))
   -> PackageDBX (SymbolicPath from (Dir PkgDB))
   -> ProgramDb
@@ -411,7 +413,7 @@ getPackageDBContents verbosity mbWorkDir packagedb progdb = do
 
 -- | Given a package DB stack, return all installed packages.
 getInstalledPackages
-  :: Verbosity
+  :: HasCallStack => Verbosity
   -> Compiler
   -> Maybe (SymbolicPath CWD (Dir from))
   -> PackageDBStackX (SymbolicPath from (Dir PkgDB))
@@ -548,7 +550,7 @@ removeMingwIncludeDir pkg =
 
 -- | Get the packages from specific PackageDBs, not cumulative.
 getInstalledPackages'
-  :: Verbosity
+  :: HasCallStack => Verbosity
   -> Maybe (SymbolicPath CWD (Dir from))
   -> [PackageDBX (SymbolicPath from (Dir PkgDB))]
   -> ProgramDb

Cabal/src/Distribution/Simple/Program/HcPkg.hs

@@ -278,7 +278,7 @@ hide hpi verbosity mbWorkDir packagedb pkgid =
 -- | Call @hc-pkg@ to get all the details of all the packages in the given
 -- package database.
 dump
-  :: HcPkgInfo
+  :: HasCallStack => HcPkgInfo
   -> Verbosity
   -> Maybe (SymbolicPath CWD (Dir from))
   -> PackageDBX (SymbolicPath from (Dir PkgDB))

cabal-install/src/Distribution/Client/IndexUtils.hs

@@ -156,9 +156,11 @@ import Distribution.Client.Errors
 import qualified Hackage.Security.Client as Sec
 import qualified Hackage.Security.Util.Some as Sec
 
+import GHC.Stack (HasCallStack)
+
 -- | Reduced-verbosity version of 'Configure.getInstalledPackages'
 getInstalledPackages
-  :: Verbosity
+  :: HasCallStack => Verbosity
   -> Compiler
   -> PackageDBStackCWD
   -> ProgramDb