diff options
| author | jlp765 <jlp765@gmail.com> | 2017-09-21 17:48:49 +1000 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-09-21 09:48:49 +0200 |
| commit | dabe4aed8663db0b2e242df1d2945fd9dd6abee0 (patch) | |
| tree | ef004a88fe99a408bf0010ba8821e824aa3a0fff /doc/manual | |
| parent | cc24b6d4cb5ff1a810d6a2806aa20ad399f15c12 (diff) | |
| download | Nim-dabe4aed8663db0b2e242df1d2945fd9dd6abee0.tar.gz | |
documentation improvement; make mixin easier to search (#6409)
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/generics.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/manual/generics.txt b/doc/manual/generics.txt index 87fcb7828..cceea33c0 100644 --- a/doc/manual/generics.txt +++ b/doc/manual/generics.txt @@ -633,6 +633,9 @@ the ``vtptr`` magic produced types bound to ``ptr`` types. Symbol lookup in generics ------------------------- +Open and Closed symbols +~~~~~~~~~~~~~~~~~~~~~~~ + The symbol binding rules in generics are slightly subtle: There are "open" and "closed" symbols. A "closed" symbol cannot be re-bound in the instantiation context, an "open" symbol can. Per default overloaded symbols are open @@ -658,6 +661,9 @@ the ``Index`` type is defined *after* the ``==`` for tuples; yet the example compiles as the instantiation takes the currently defined symbols into account too. +Mixin statement +--------------- + A symbol can be forced to be open by a `mixin`:idx: declaration: .. code-block:: nim |