mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-04-19 05:50:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

manual: remove the bind-once typedesc weirdness; replaced by how things should be done

Browse Source
This commit is contained in:
Andreas Rumpf
2018-04-15 22:16:00 +02:00
parent 2f8289919e
commit c9f14ca9be
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
doc/manual.rst
View File

@@ -5518,12 +5518,12 @@ instantiation type using the param name:
var n = Node.new
var tree = new(BinaryTree[int])
When multiple typedesc params are present, they act like a distinct type class
(i.e. they will bind freely to different types). To force a bind-once behavior
one can use a named alias or an explicit `typedesc` generic param:
When multiple typedesc params are present, they will bind freely to different
types. To force a bind-once behavior
one can use an explicit ``typedesc[T]`` generic param:
.. code-block:: nim
proc acceptOnlyTypePairs[T: typedesc, U: typedesc](A, B: T; C, D: U)
proc acceptOnlyTypePairs[T, U](A, B: typedesc[T]; C, D: typedesc[U])
Once bound, typedesc params can appear in the rest of the proc signature: