diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2017-10-17 21:59:17 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-10-17 21:59:17 +0200 |
| commit | e7f37d7223920939cda1a206cc84efee41952437 (patch) | |
| tree | c5f28ec00c2ee0ea8a2ae23851559e9a1f663abf | |
| parent | 58d5f9679028516b09bc2a2c0498e668f61cc8c9 (diff) | |
| download | Nim-e7f37d7223920939cda1a206cc84efee41952437.tar.gz | |
added typetraits.supportsCopyMem
| -rw-r--r-- | compiler/semmagic.nim | 7 | ||||
| -rw-r--r-- | lib/pure/typetraits.nim | 3 |
2 files changed, 9 insertions, 1 deletions
diff --git a/compiler/semmagic.nim b/compiler/semmagic.nim index 8b3d9c014..88f1262ae 100644 --- a/compiler/semmagic.nim +++ b/compiler/semmagic.nim @@ -146,8 +146,13 @@ proc evalTypeTrait(traitCall: PNode, operand: PType, context: PSym): PNode = result = res.base.toNode(traitCall.info) of "stripGenericParams": result = uninstantiate(operand).toNode(traitCall.info) + of "supportsCopyMem": + let complexObj = containsGarbageCollectedRef(operand) or + hasDestructor(operand) + result = newIntNodeT(ord(not complexObj), traitCall) else: - internalAssert false + localError(traitCall.info, "unknown trait") + result = emptyNode proc semTypeTraits(c: PContext, n: PNode): PNode = checkMinSonsLen(n, 2) diff --git a/lib/pure/typetraits.nim b/lib/pure/typetraits.nim index 55c4bf038..8d738f9a7 100644 --- a/lib/pure/typetraits.nim +++ b/lib/pure/typetraits.nim @@ -49,3 +49,6 @@ proc stripGenericParams*(t: typedesc): typedesc {.magic: "TypeTrait".} ## This trait is similar to `genericHead`, but instead of producing ## error for non-generic types, it will just return them unmodified +proc supportsCopyMem*(t: typedesc): bool {.magic: "TypeTrait".} + ## This trait returns true iff the type ``t`` is safe to use for + ## `copyMem`:idx:. Other languages name a type like these `blob`:idx:. |