blob: dc75df5ff52a008eed0632a8b7471fdfc3037ac4 (
plain) (
blame)
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
47
48
49
50
|
discard """
output: "20\n10"
msg: '''
INFERRED int
IMPLICIT INFERRED int int
'''
"""
import typetraits
template reject(e: expr) =
static: assert(not compiles(e))
type
ArrayStack = object
data: seq[int]
proc push(s: var ArrayStack, item: int) =
s.data.add item
proc pop(s: var ArrayStack): int =
return s.data.pop()
type
Stack[T] = concept var s
s.push(T)
s.pop() is T
proc genericAlgorithm[T](s: var Stack[T], y: T) =
static: echo "INFERRED ", T.name
s.push(y)
echo s.pop
proc implicitGeneric(s: var Stack): auto =
static: echo "IMPLICIT INFERRED ", s.T.name, " ", Stack.T.name
return s.pop()
var s = ArrayStack(data: @[])
s.push 10
s.genericAlgorithm 20
echo s.implicitGeneric
reject s.genericAlgorithm "x"
reject s.genericAlgorithm 1.0
reject "str".implicitGeneric
reject implicitGeneric(10)
|