blob: ff960771e83e2bd47704998ba594c637bb65db9d [file] [edit]
testLet : U8 -> U8;
testLet x = let y = (x : U8) + (1 : U8) : U8
in (y : U8) - (1 : U8) : U8
end : U8;
testLetNested : U8 -> U8;
testLetNested x = let z = let y = (x : U8) + (1 : U8) : U8
in (y : U8) - (1 : U8) : U8
end : U8
in let q = (z : U8) + (1 : U8) : U8
in (q : U8) + (z : U8) : U8
end : U8
end : U8;