partial-evaluation.rst: peval is off since 1.0
commit704f18d368ee56c712bdbde1e33ff406295b011d
authorAlex Gryzlov <alexander.gryzlov@adform.com>
dateFri 4 Aug 2017, 11:45 (9 years ago)
parent66c1af1
docs/reference/partial-evaluation.rst+2−2
@@ -11,8 +11,8 @@ ICFP 2010
1111paper <http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf>`__.
1212Please refer to this for more precise definitions of what follows.)
1313
14−Partial evaluation is switched on by default. It can be disabled with
15−the ``--no-partial-eval`` flag.
14+Partial evaluation is switched off by default since Idris 1.0. It can
15+be enabled with the ``--partial-eval`` flag.
1616
1717Introductory Example
1818--------------------