I have another question regarding Task1 please. I am wondering why the following expression :
Code: Alles auswählen
test("conv ref in named expression") {
assertResult(LetDB(42, LetDB(RefDB(0), RefDB(0)))) {
convert(Let('x, 42, Let('y, 'x, 'y)))
}
}
Code: Alles auswählen
LetDB(42, LetDB(RefDB(0), RefDB(0)))
Code: Alles auswählen
LetDB(42, LetDB(RefDB(1), RefDB(0)))
I think the x in the inner Let is bound to the x variable in the outter Let. The examples provided in Slide 9 of SIMPLE LANGUAGES lecture (i.e. V02.pdf) suggest the same.
I hope someone could clear up this to me. Thank you in advance.
Regards.