jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixes #8519; implements T.distinctBase to reverse T = distinct A (#8531)

Browse source
This commit is contained in:
Timothee Cour 2018-08-10 00:20:14 -07:00 • committed by Andreas Rumpf
commit 43f634db8d
3 changed files with 69 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
doc/manual.rst
View file

@ -1673,7 +1673,8 @@ A ``distinct`` type 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
base type and vice versa are allowed.
base type and vice versa are allowed. See also ``distinctBase`` to get the
reverse operation.
Modelling currencies