diff options
| -rw-r--r-- | docs/users_guide/using.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index 1db30eab2e..d1c453898f 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -845,9 +845,9 @@ messages and in GHCi: where {- #0 -} (==) (f a) (g b) = (f == g) && (a == b) {- #1 -} (==) a a = 'True - -- incompatible indices: 0 + -- incompatible with: #0 {- #2 -} (==) _1 _2 = 'False - -- incompatible indices: 1, 0 + -- incompatible with: #1, #0 The equations are numbered starting from 0, and the comment after each equation refers to all preceding equations it is incompatible with. |