| 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; |