diff options
| author | Araq <rumpf_a@web.de> | 2012-11-11 22:03:41 +0100 |
|---|---|---|
| committer | Araq <rumpf_a@web.de> | 2012-11-11 22:03:41 +0100 |
| commit | 48a62af3b13015cc7eda194b9f6ec7e194456e74 (patch) | |
| tree | fc8b0be321a4461fbdc51c94415ca681a8ddee5a /doc | |
| parent | a31a5f9c810948b232356b7fe225b238dad0d6d6 (diff) | |
| download | Nim-48a62af3b13015cc7eda194b9f6ec7e194456e74.tar.gz | |
implemented 'tags' pragma
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/manual.txt | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/manual.txt b/doc/manual.txt index 414c43874..c97e4ef5c 100755 --- a/doc/manual.txt +++ b/doc/manual.txt @@ -2850,11 +2850,9 @@ possibly raised exceptions; the algorithm operates on ``p``'s call graph: Tag tracking ~~~~~~~~~~~~ -**Note**: Tag tracking is not yet implemented! - The exception tracking is part of Nimrod's `effect system`:idx:. Raising an exception is an *effect*. Other effects can also be defined. A user defined -effect is a means to *tag* a routine and perform checks against this tag: +effect is a means to *tag* a routine and to perform checks against this tag: .. code-block:: nimrod type IO = object ## input/output effect @@ -3093,8 +3091,6 @@ To be written. Return Type Inference ~~~~~~~~~~~~~~~~~~~~~ -**Note**: ``auto`` is not yet implemented. - If a type class is used as the return type of a proc and it won't be bound to a concrete type by some of the proc params, Nimrod will infer the return type from the proc body. This is usually used with the ``auto`` type class: |