type-errors 0.2.0.0 → 0.2.0.1
raw patch · 3 files changed
+46/−9 lines, 3 filesdep ~doctest
Dependency ranges changed: doctest
Files
- ChangeLog.md +4/−0
- src/Type/Errors.hs +5/−0
- type-errors.cabal +37/−9
ChangeLog.md view
@@ -1,5 +1,9 @@ # Changelog for type-errors +## 0.2.0.1 (2022-11-24)++- Bumped version bounds+ ## 0.2.0.0 (2019-07-03) ### Breaking Changes
src/Type/Errors.hs view
@@ -1,3 +1,5 @@+{-# LANGUAGE CPP #-}+ ------------------------------------------------------------------------------ -- | This module provides useful tools for writing better type-errors. For -- a quickstart guide to the underlying 'GHC.TypeLits.TypeError' machinery,@@ -101,6 +103,9 @@ -- ... -- -- @since 0.1.0.0+#if __GLASGOW_HASKELL__ >= 902+type ShowTypeQuoted :: k -> ErrorMessage+#endif type family ShowTypeQuoted (t :: k) :: ErrorMessage where ShowTypeQuoted (t :: Symbol) = 'ShowType t ShowTypeQuoted t = 'Text "'" ':<>: 'ShowType t ':<>: 'Text "'"
type-errors.cabal view
@@ -1,13 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.31.2.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack------ hash: 89d18eac6ec0d221b9fa775523c8c4417ebbfa1c65bbcbf42c0f8569fd040337 name: type-errors-version: 0.2.0.0+version: 0.2.0.1 synopsis: Tools for writing better type errors description: Please see the README on GitHub at <https://github.com/isovector/type-errors#readme> category: Type@@ -34,7 +32,18 @@ Paths_type_errors hs-source-dirs: src- default-extensions: ConstraintKinds DataKinds FlexibleContexts LambdaCase PolyKinds ScopedTypeVariables TemplateHaskellQuotes TypeApplications TypeFamilies TypeOperators UndecidableInstances+ default-extensions:+ ConstraintKinds+ DataKinds+ FlexibleContexts+ LambdaCase+ PolyKinds+ ScopedTypeVariables+ TemplateHaskellQuotes+ TypeApplications+ TypeFamilies+ TypeOperators+ UndecidableInstances ghc-options: -Wall build-depends: base >=4.7 && <5@@ -43,7 +52,11 @@ , template-haskell , th-abstraction if impl(ghc < 8.6)- default-extensions: TypeInType+ default-extensions:+ TypeInType+ if impl(ghc >= 9.2)+ default-extensions:+ StandaloneKindSignatures default-language: Haskell2010 test-suite test@@ -53,16 +66,31 @@ Paths_type_errors hs-source-dirs: test- default-extensions: ConstraintKinds DataKinds FlexibleContexts LambdaCase PolyKinds ScopedTypeVariables TemplateHaskellQuotes TypeApplications TypeFamilies TypeOperators UndecidableInstances+ default-extensions:+ ConstraintKinds+ DataKinds+ FlexibleContexts+ LambdaCase+ PolyKinds+ ScopedTypeVariables+ TemplateHaskellQuotes+ TypeApplications+ TypeFamilies+ TypeOperators+ UndecidableInstances ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N build-depends: base >=4.7 && <5- , doctest >=0.16.0.1 && <0.17+ , doctest >=0.16.0.1 && <0.21 , first-class-families >=0.5.0.0 , syb , template-haskell , th-abstraction , type-errors if impl(ghc < 8.6)- default-extensions: TypeInType+ default-extensions:+ TypeInType+ if impl(ghc >= 9.2)+ default-extensions:+ StandaloneKindSignatures default-language: Haskell2010