diff options
| author | Juan Carlos <juancarlospaco@gmail.com> | 2021-01-15 23:56:38 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-15 18:56:38 -0800 |
| commit | 78a99587a4ad8ad17a179a7992fcda8a6e10f25a (patch) | |
| tree | 18a244e09f7db4636b3bd221130f36f5d5fb8b97 /doc | |
| parent | 7b632f9ccbd4d15fa9fe4ca45b6fea22b259c81d (diff) | |
| download | Nim-78a99587a4ad8ad17a179a7992fcda8a6e10f25a.tar.gz | |
Deprecate TaintedString (#15423)
Co-authored-by: Timothee Cour <timothee.cour2@gmail.com> Co-authored-by: Dominik Picheta <dominikpicheta@googlemail.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/advopt.txt | 1 | ||||
| -rw-r--r-- | doc/idetools.rst | 2 | ||||
| -rw-r--r-- | doc/manual_experimental.rst | 22 |
3 files changed, 1 insertions, 24 deletions
diff --git a/doc/advopt.txt b/doc/advopt.txt index d87b00f91..a3040f378 100644 --- a/doc/advopt.txt +++ b/doc/advopt.txt @@ -93,7 +93,6 @@ Advanced options: in the generated output --threadanalysis:on|off turn thread analysis on|off --tlsEmulation:on|off turn thread local storage emulation on|off - --taintMode:on|off turn taint mode on|off --implicitStatic:on|off turn implicit compile time evaluation on|off --trmacros:on|off turn term rewriting macros on|off --multimethods:on|off turn multi-methods on|off diff --git a/doc/idetools.rst b/doc/idetools.rst index ac3b92947..27926b14f 100644 --- a/doc/idetools.rst +++ b/doc/idetools.rst @@ -329,7 +329,7 @@ skLet let text = "some text" --> col 2: $MODULE.text - col 3: TaintedString + col 3: string col 7: "" diff --git a/doc/manual_experimental.rst b/doc/manual_experimental.rst index e1fc282da..a0cd9f636 100644 --- a/doc/manual_experimental.rst +++ b/doc/manual_experimental.rst @@ -1718,28 +1718,6 @@ e.g. with given example ``echo("ab")`` will be rewritten just once: ``noRewrite`` pragma can be useful to control term-rewriting macros recursion. -Taint mode -========== - -The Nim compiler and most parts of the standard library support -a taint mode. Input strings are declared with the `TaintedString`:idx: -string type declared in the ``system`` module. - -If the taint mode is turned on (via the ``--taintMode:on`` command line -option) it is a distinct string type which helps to detect input -validation errors: - -.. code-block:: nim - echo "your name: " - var name: TaintedString = stdin.readline - # it is safe here to output the name without any input validation, so - # we simply convert `name` to string to make the compiler happy: - echo "hi, ", name.string - -If the taint mode is turned off, ``TaintedString`` is simply an alias for -``string``. - - Aliasing restrictions in parameter passing ========================================== |