idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
Code Issues Projects Releases Wiki Activity

Update docs/source/reference/operators.rst

Browse Source
This commit is contained in:
André Videla 2024-01-23 19:33:37 +09:00
parent ef0ca76b4c
commit b22c7f8289
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/reference/operators.rst
View File

@ -99,7 +99,7 @@ example:
test = 1 - 3 - 10 test = 1 - 3 - 10
This program will raise a warning on the last line of module ``C`` because This program will raise a warning on the last line of module ``C`` because
there are two conflicting fixities in scope, should we parse the expression there are two conflicting fixities in scope. Should we parse the expression
as ``(1 - 3) - 10`` or as ``1 - (3 - 10)``? In those cases, you can hide as ``(1 - 3) - 10`` or as ``1 - (3 - 10)``? In those cases, you can hide
the extra fixity you do not wish to use by using ``%hide``: the extra fixity you do not wish to use by using ``%hide``: