search

jstolarek / inferno

Mirrored from https://gitlab.inria.fr/fpottier/inferno
MIT License
0 stars 1 forks source link

Test nested lets #13

Closed jstolarek closed 3 years ago

jstolarek commented 3 years ago

Nested let expressions are not tested at all. I mean expressions of the form:

let x = (let y = (let z = ... in ...) in ...) in ...

Need to add tests for them.

jstolarek commented 3 years ago

This is actually tested in example E3∘, where generalization $ desugars into nested lets.