diff options
author | Som Snytt <som.snytt@gmail.com> | 2015-05-05 13:52:22 -0700 |
---|---|---|
committer | Som Snytt <som.snytt@gmail.com> | 2015-05-05 13:52:22 -0700 |
commit | 92f69d253ee6e941263aaf0a09936b4e4ce21dc7 (patch) | |
tree | 391dcd89001d0a8d7eb1d862c8e558487483f828 /src/library | |
parent | 8200009ea5dafcdf79488f19175c53e7b571aa75 (diff) | |
download | scala-92f69d253ee6e941263aaf0a09936b4e4ce21dc7.tar.gz scala-92f69d253ee6e941263aaf0a09936b4e4ce21dc7.tar.bz2 scala-92f69d253ee6e941263aaf0a09936b4e4ce21dc7.zip |
SI-9302 -Xdisable-assertions raises elide level
Previously, the flag caused any elidable to be elided.
This commit simply sets -Xelide-below to ASSERTION + 1.
The flag is useful because there's no mnemonic for specifying
the magic constant as an option argument. `-Xelide-below ASSERTION`
means asserts are enabled.
Diffstat (limited to 'src/library')
-rw-r--r-- | src/library/scala/Predef.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/library/scala/Predef.scala b/src/library/scala/Predef.scala index 4eed672794..0f300412b7 100644 --- a/src/library/scala/Predef.scala +++ b/src/library/scala/Predef.scala @@ -35,9 +35,9 @@ import scala.io.StdIn * === Assertions === * * A set of `assert` functions are provided for use as a way to document - * and dynamically check invariants in code. `assert` statements can be elided - * at compile time by providing the command line argument `-Xdisable-assertions` to - * the `scalac` command. + * and dynamically check invariants in code. Invocations of `assert` can be elided + * at compile time by providing the command line option `-Xdisable-assertions`, + * which raises `-Xelide-below` above `elidable.ASSERTION`, to the `scalac` command. * * Variants of `assert` intended for use with static analysis tools are also * provided: `assume`, `require` and `ensuring`. `require` and `ensuring` are |