tests/generics/tcan.nim


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

discard """
  output: '''
'''
"""

# Created by Eric Doughty-Papassideris on 2011-02-16.

block talias_generic:
  type
    TGen[T] = object
    TGen2[T] = TGen[T]


block talias_specialised:
  type
    TGen[T] = object
    TSpef = TGen[string]
  var s: TSpef


block tinherit:
  type
    TGen[T] = object of RootObj
      x, y: T
    TSpef[T] = object of TGen[T]

  var s: TSpef[float]
  s.x = 0.4
  s.y = 0.6


block tspecialise:
  type
    TGen[T] = object {.inheritable.}
    TSpef = object of TGen[string]


block tspecialised_equivalent:
  type
    TGen[T] = tuple[a: T]
    TSpef = tuple[a: string]

  var
    a: TGen[string]
    b: TSpef
  a = b