File: trettypeinference.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 (33 lines) | stat: -rw-r--r-- 706 bytes parent folder | download | duplicates (4)
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
discard """
  nimout:    "instantiated for string\ninstantiated for int\ninstantiated for bool"
  output: "int\nseq[string]\nA\nB\n100\ntrue"
"""

import typetraits

proc plus(a, b: auto): auto = a + b
proc makePair(a, b: auto): auto = (first: a, second: b)

proc `+`(a, b: string): seq[string] = @[a, b]

var i = plus(10, 20)
var s = plus("A", "B")

var p = makePair("key", 100)
static: assert p[0].type is string

echo i.type.name
echo s.type.name

proc inst(a: auto): auto =
  static: echo "instantiated for ", a.type.name
  result = a

echo inst("A")
echo inst("B")
echo inst(100)
echo inst(true)

# XXX: [string, tyGenericParam] is cached instead of [string, string]
# echo inst[string, string]("C")