File: ttypeclasses.nim

package info (click to toggle)
nim 2.2.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 1,911,644 kB
  • sloc: sh: 24,603; ansic: 1,761; python: 1,492; makefile: 1,013; sql: 298; asm: 141; xml: 13
file content (46 lines) | stat: -rw-r--r-- 969 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
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:
  doAssert x is ref
  doAssert y is distinct
  doAssert z is ptr
  doAssert C is static
  doAssert C[1] is static[int]
  doAssert C[0] is static[SomeInteger]
  doAssert C isnot static[string]
  doAssert C is SEQ|OBJ
  doAssert C isnot OBJ|TPL
  doAssert int is int
  doAssert int is T
  doAssert int is SomeInteger
  doAssert seq[int] is type
  doAssert seq[int] is type[seq]
  doAssert seq[int] isnot type[seq[float]]
  doAssert i isnot type[int]
  doAssert type(i) is type[int]
  doAssert x isnot T
  doAssert y isnot S
  doAssert z isnot enum
  doAssert x isnot object
  doAssert y isnot tuple
  doAssert z isnot seq

  # XXX: These cases don't work properly at the moment:
  # doAssert type[int] isnot int
  # doAssert type(int) isnot int