artiq/lit-test/compiler/inferencer/prelude.py

# RUN: %python -m artiq.compiler.testbench.inferencer %s >%t
# RUN: OutputCheck %s --file-to-check=%t

# CHECK-L: x:<function len>
x = len

def f():
    global len
    # CHECK-L: len:int(width='a) =
    len = 1
Move transforms to artiq.compiler.transforms, add artiq.Module. 2015-07-03 00:35:35 +08:00			`# RUN: %python -m artiq.compiler.testbench.inferencer %s >%t`
Implement prelude. 2015-06-24 16:46:15 +08:00			`# RUN: OutputCheck %s --file-to-check=%t`

Elaborate hierarchy of builtins. 2015-06-29 03:40:57 +08:00			`# CHECK-L: x:<function len>`
Implement prelude. 2015-06-24 16:46:15 +08:00			`x = len`

			`def f():`
			`global len`
			`# CHECK-L: len:int(width='a) =`
			`len = 1`