2015-06-06 21:58:23 +08:00
|
|
|
# RUN: %python -m artiq.py2llvm.typing %s >%t
|
|
|
|
|
# RUN: OutputCheck %s --file-to-check=%t
|
|
|
|
|
|
|
|
|
|
a = 1
|
|
|
|
|
# CHECK-L: a:int(width='a)
|
|
|
|
|
|
|
|
|
|
b = a
|
|
|
|
|
# CHECK-L: b:int(width='a)
|
|
|
|
|
|
|
|
|
|
c = True
|
|
|
|
|
# CHECK-L: c:bool
|
|
|
|
|
|
|
|
|
|
d = False
|
|
|
|
|
# CHECK-L: d:bool
|
|
|
|
|
|
|
|
|
|
e = None
|
|
|
|
|
# CHECK-L: e:NoneType
|
|
|
|
|
|
|
|
|
|
f = 1.0
|
|
|
|
|
# CHECK-L: f:float
|
|
|
|
|
|
|
|
|
|
g = []
|
|
|
|
|
# CHECK-L: g:list(elt='b)
|
|
|
|
|
|
|
|
|
|
h = [1]
|
|
|
|
|
# CHECK-L: h:list(elt=int(width='c))
|
2015-06-06 23:05:06 +08:00
|
|
|
|
|
|
|
|
i = []
|
|
|
|
|
i[0] = 1
|
|
|
|
|
# CHECK-L: i:list(elt=int(width='d))
|
|
|
|
|
|
|
|
|
|
j = []
|
|
|
|
|
j += [1.0]
|
|
|
|
|
# CHECK-L: j:list(elt=float)
|
