[commit: ghc] master: Fix haddocks for TypeError (c0a0ee3)
git at git.haskell.org
git at git.haskell.org
Sun Feb 7 22:13:27 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/c0a0ee362348d71d9bf58633858577f36e353cfb/ghc
>---------------------------------------------------------------
commit c0a0ee362348d71d9bf58633858577f36e353cfb
Author: Ben Gamari <ben at smart-cactus.org>
Date: Sun Feb 7 22:40:24 2016 +0100
Fix haddocks for TypeError
>---------------------------------------------------------------
c0a0ee362348d71d9bf58633858577f36e353cfb
libraries/base/GHC/TypeLits.hs | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs
index a51ba91..c32eebb 100644
--- a/libraries/base/GHC/TypeLits.hs
+++ b/libraries/base/GHC/TypeLits.hs
@@ -221,24 +221,24 @@ infixl 6 :<>:
-- For instance, it can be used as a constraint, e.g. to provide a better error
-- message for a non-existant instance,
--
--- @@
+-- @
-- -- in a context
-- instance TypeError (Text "Cannot 'Show' functions." :$$:
-- Text "Perhaps there is a missing argument?")
-- => Show (a -> b) where
-- showsPrec = error "unreachable"
--- @@
+-- @
--
-- It can also be placed on the right-hand side of a type-level function
-- to provide an error for an invalid case,
--
--- @@
+-- @
-- type family ByteSize x where
-- ByteSize Word16 = 2
-- ByteSize Word8 = 1
-- ByteSize a = TypeError (Text "The type " :<>: ShowType a :<>:
-- Text " is not exportable.")
--- @@
+-- @
--
-- @since 4.9.0.0
type family TypeError (a :: ErrorMessage) :: b where
More information about the ghc-commits
mailing list