96de224a63
This is a temporary fix that will be reworked in a follow up commit that aims to eliminate the tfExplicit flag from the compiler. The complete and proper fix was considered too risky for inclusion just before our 0.19 release.
46 lines
919 B
Nim
46 lines
919 B
Nim
type
|
|
R = ref
|
|
V = var
|
|
D = distinct
|
|
P = ptr
|
|
T = type
|
|
S = static
|
|
OBJ = object
|
|
TPL = tuple
|
|
SEQ = seq
|
|
|
|
var i: int
|
|
var x: ref int
|
|
var y: distinct int
|
|
var z: ptr int
|
|
const C = @[1, 2, 3]
|
|
|
|
static:
|
|
assert x is ref
|
|
assert y is distinct
|
|
assert z is ptr
|
|
assert C is static
|
|
assert C[1] is static[int]
|
|
assert C[0] is static[SomeInteger]
|
|
assert C isnot static[string]
|
|
assert C is SEQ|OBJ
|
|
assert C isnot OBJ|TPL
|
|
assert int is int
|
|
assert int is T
|
|
assert int is SomeInteger
|
|
assert seq[int] is type
|
|
assert seq[int] is type[seq]
|
|
assert seq[int] isnot type[seq[float]]
|
|
assert i isnot type[int]
|
|
assert type(i) is type[int]
|
|
assert x isnot T
|
|
assert y isnot S
|
|
assert z isnot enum
|
|
assert x isnot object
|
|
assert y isnot tuple
|
|
assert z isnot seq
|
|
|
|
# XXX: These cases don't work properly at the moment:
|
|
# assert type[int] isnot int
|
|
# assert type(int) isnot int
|
|
|