[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