diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-02-07 22:40:24 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-02-07 23:14:28 +0100 |
| commit | c0a0ee362348d71d9bf58633858577f36e353cfb (patch) | |
| tree | 9842482fe8d97f8eac7297d49103fbcc56a77c44 /libraries | |
| parent | 0a2bd9ccf423dd635677926c1238aab5d3d4b1cb (diff) | |
| download | haskell-c0a0ee362348d71d9bf58633858577f36e353cfb.tar.gz | |
Fix haddocks for TypeError
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/base/GHC/TypeLits.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libraries/base/GHC/TypeLits.hs b/libraries/base/GHC/TypeLits.hs index a51ba910e0..c32eebb4dc 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 |