diff options
| author | mniip <mniip@mniip.com> | 2019-06-28 13:19:45 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-08-07 10:18:07 -0400 |
| commit | 3d32286d212b49c95eba7aa2e013185740099aa1 (patch) | |
| tree | 560dc86d11c71d2b549300d3409d85c4f6c9c5e2 /docs/users_guide/using.rst | |
| parent | bca793458c77302c1d46766b7f563c1cc4c17579 (diff) | |
| download | haskell-3d32286d212b49c95eba7aa2e013185740099aa1.tar.gz | |
Explicitly number equations when printing axiom incompatibilities
Diffstat (limited to 'docs/users_guide/using.rst')
| -rw-r--r-- | docs/users_guide/using.rst | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index d2983c4b1a..1db30eab2e 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -843,14 +843,14 @@ messages and in GHCi: ghci> :i Data.Type.Equality.== type family (==) (a :: k) (b :: k) :: Bool where - (==) (f a) (g b) = (f == g) && (a == b) - (==) a a = 'True + {- #0 -} (==) (f a) (g b) = (f == g) && (a == b) + {- #1 -} (==) a a = 'True -- incompatible indices: 0 - (==) _1 _2 = 'False + {- #2 -} (==) _1 _2 = 'False -- incompatible indices: 1, 0 - The comment after each equation refers to the indices (0-indexed) of - preceding equations it is incompatible with. + The equations are numbered starting from 0, and the comment after each + equation refers to all preceding equations it is incompatible with. .. ghc-flag:: -fprint-equality-relations :shortdesc: Distinguish between equality relations when printing |