diff options
| author | Grzegorz Adam Hankiewicz <gradha@imap.cc> | 2013-06-09 15:23:53 +0200 |
|---|---|---|
| committer | Grzegorz Adam Hankiewicz <gradha@imap.cc> | 2013-06-09 15:23:53 +0200 |
| commit | a7e70e6229168b303fcf2a945923da776ddf41c4 (patch) | |
| tree | 5c0c9d54fedfab09cb71a7d3dfed9aadf85d5246 /doc | |
| parent | 97eb4bd0ff5792ebd1cb958a726127af1129ce7b (diff) | |
| download | Nim-a7e70e6229168b303fcf2a945923da776ddf41c4.tar.gz | |
Adds distinct and borrow to the one and only true index.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.txt b/doc/manual.txt index f163e0d5f..dca4d9243 100644 --- a/doc/manual.txt +++ b/doc/manual.txt @@ -1388,7 +1388,7 @@ accesses its environment. If it does so, it has the calling convention Distinct type ------------- -A distinct type is new type derived from a `base type`:idx: that is +A `distinct type`:idx: is new type derived from a `base type`:idx: that is incompatible with its base type. In particular, it is an essential property of a distinct type that it **does not** imply a subtype relation between it and its base type. Explicit type conversions from a distinct type to its @@ -1435,7 +1435,7 @@ number without unit; and the same holds for division: This quickly gets tedious. The implementations are trivial and the compiler should not generate all this code only to optimize it away later - after all ``+`` for dollars should produce the same binary code as ``+`` for ints. -The pragma ``borrow`` has been designed to solve this problem; in principle +The pragma `borrow`:idx: has been designed to solve this problem; in principle it generates the above trivial implementations: .. code-block:: nimrod |