about summary refs log blame commit diff stats
path: root/arc/.traces/and-literal
blob: 086f44be39c884e62982cb5f3d99848bc2ec2ca8 (plain) (tree)
pre { line-height: 125%; } td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; } span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; } td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } .highlight .hll { background-color: #ffffcc } .highlight .c { color: #888888 } /* Comment */ .highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */ .
c{0: 0 (((1 boolean)) <- ((and)) ((t literal)) ((nil literal))) -- nil
c{1: 0 ✓ (((1 boolean)) <- ((and)) ((t literal)) ((nil literal)))
cn0: convert-names in main
cn0: (((1 boolean)) <- ((and)) ((t literal)) ((nil literal))) nil nil
cn0: checking arg ((t literal))
cn0: checking arg ((nil literal))
cn0: checking oarg ((1 boolean))
maybe-add: ((1 boolean))
cn1: (((1 boolean)) <- ((and)) ((t literal)) ((nil literal)))
schedule: main
run: main 0: (((1 boolean)) <- ((and)) ((t literal)) ((nil literal)))
run: main 0: nil => ((1 boolean))
mem: ((1 boolean)): 1 <= nil
schedule: done with routine nil