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

Add type constraints for uint and uint64 to the System module's procs instead

Browse Source
This commit is contained in:
def
2014-06-28 16:24:14 +02:00
parent 4f24facb7c
commit 5439699b9b
2 changed files with 5 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
lib/core/unsigned.nim
View File

@@ -57,24 +57,3 @@ proc `<=`*[T: SomeUInt](x, y: T): bool {.magic: "LeU", noSideEffect.}
proc `<`*[T: SomeUInt](x, y: T): bool {.magic: "LtU", noSideEffect.}
## Returns true iff ``unsigned(x) < unsigned(y)``.
proc `+=`*[T: uint|uint64](x: var T, y: T) {.magic: "Inc", noSideEffect.}
## Increments uints and uint64s, uint8..uint32 are TOrdinals, and already
## have a definition in the System module.
proc `-=`*[T: uint|uint64](x: var T, y: T) {.magic: "Dec", noSideEffect.}
## Decrements uints and uint64s, uint8..uint32 are TOrdinals, and already
## have a definition in the System module.
proc `*=`*[T: uint|uint64](x: var T, y: T) {.inline, noSideEffect.} =
## Binary `*=` operator for uints and uint64s, uint8..uint32 are TOrdinals,
## and already have a definition in the System module.
x = x * y
proc inc*[T: uint|uint64](x: var T, y = 1) {.magic: "Inc", noSideEffect.}
## Increments uints and uint64s ``x`` by ``y``, uint8..uint32 are TOrdinals,
## and already have a definition in the System module.
proc dec*[T: uint|uint64](x: var T, y = 1) {.magic: "Dec", noSideEffect.}
## Decrements uints and uint64s ``x`` by ``y``, uint8..uint32 are TOrdinals,
## and already have a definition in the System module.

10
lib/system.nim
View File

@@ -431,12 +431,12 @@ proc pred*[T](x: Ordinal[T], y = 1): T {.magic: "Pred", noSideEffect.}
## an ordinal type. If such a value does not exist, ``EOutOfRange`` is raised
## or a compile time error occurs.
proc inc*[T](x: var Ordinal[T], y = 1) {.magic: "Inc", noSideEffect.}
proc inc*[T: Ordinal|uint|uint64](x: var T, y = 1) {.magic: "Inc", noSideEffect.}
## increments the ordinal ``x`` by ``y``. If such a value does not
## exist, ``EOutOfRange`` is raised or a compile time error occurs. This is a
## short notation for: ``x = succ(x, y)``.
proc dec*[T](x: var Ordinal[T], y = 1) {.magic: "Dec", noSideEffect.}
proc dec*[T: Ordinal|uint|uint64](x: var T, y = 1) {.magic: "Dec", noSideEffect.}
## decrements the ordinal ``x`` by ``y``. If such a value does not
## exist, ``EOutOfRange`` is raised or a compile time error occurs. This is a
## short notation for: ``x = pred(x, y)``.
@@ -2745,13 +2745,13 @@ proc staticExec*(command: string, input = ""): string {.
## inside a pragma like `passC <nimrodc.html#passc-pragma>`_ or `passL
## <nimrodc.html#passl-pragma>`_.
proc `+=`*[T: TOrdinal](x: var T, y: T) {.magic: "Inc", noSideEffect.}
proc `+=`*[T: TOrdinal|uint|uint64](x: var T, y: T) {.magic: "Inc", noSideEffect.}
## Increments an ordinal
proc `-=`*[T: TOrdinal](x: var T, y: T) {.magic: "Dec", noSideEffect.}
proc `-=`*[T: TOrdinal|uint|uint64](x: var T, y: T) {.magic: "Dec", noSideEffect.}
## Decrements an ordinal
proc `*=`*[T: TOrdinal](x: var T, y: T) {.inline, noSideEffect.} =
proc `*=`*[T: TOrdinal|uint|uint64](x: var T, y: T) {.inline, noSideEffect.} =
## Binary `*=` operator for ordinals
x = x * y