prednaz

fromList
    [
        ( "<"
        ,
            ( 2
            , 112
            )
        )
    ,
        ( "|"

prednaz

main = not (6 == 2);

prednaz

fromList [("<",(2,110)),("|",(2,40)),("if",(3,120)),("*",(2,80)),("not",(1,26)),("false",(0,14)),("-",(2,70)),("+",(2,60)),("main",(0,4)),("true",(0,20)),("negate",(1,33)),("/",(2,90)),("==",(2,100)),("&",(2,50))]

[Reset,Pushfun "main",Call,Halt,Pushval (Integer 2),Pushval (Integer 6),Pushfun "==",Makeapp,Makeapp,Update 0,Slide 1,Unwind,Call,Return,Pushval (Bool False),Update 0,Slide 1,Unwind,Call,Return,Pushval (Bool True),Update 0,Slide 1,Unwind,Call,Return,Pushparam 1,Unwind,Call,Operator Not,Update 1,Slide 2,Return,Pushparam 1,Unwind,Call,Operator Negate,Update 1,Slide 2,Return,Pushparam 1,Unwind,Call,Pushparam 3,Unwind,Call,Operator Or,Update 2,Slide 3,Return,Pushparam 1,Unwind,Call,Pushparam 3,Unwind,Call,Operator And,Update 2,Slide 3,Return,Pushparam 1,Unwind,Call,Pushparam 3,Unwind,Call,Operator Plus,Update 2,Slide 3,Return,Pushparam 1,Unwind,Call,Pushparam 3,Unwind,Call,Operator Minus,Update 2,Slide 3,Return,Pushparam 1,Unwind,Call,Pushparam 3,Unwind,Call,Operator Times,Update 2,Slide 3,Return,Pushp

prednaz

main = 6 == 2;

prednaz

"main" 4
"false" 20
"true" 26
"not" 32
"negate" 39
"|" 46
"&" 56
"+" 66
"-" 76
"*" 86

prednaz

main = let v1 = 0; v2 = v1; v3 = v1 in v3;

prednaz

"main" 4
"false" 20
"true" 26
"not" 32
"negate" 39
"|" 46
"&" 56
"+" 66
"-" 76
"*" 86

prednaz

"main" 4
"f" 12
"false" 28
"true" 34
"not" 40
"negate" 47
"|" 54
"&" 64
"+" 74
"-" 84

prednaz

main = let v1 = 0; v2 = v1; v3 = v2 in v3;

prednaz

main = f 6; f x = if (x == 2) then 2 else 3;