[plt-scheme] free variable and late binding in Dromadery
David,
To reduce the confusion here:
Dromedary is the Scheme implementation of OCaml. Pierre is
illustrating that Dromedary gives the wrong answer when compared with
OCaml (which, obviously, it shouldn't). The LET he's using is the LET
in OCaml, not the LET in Scheme. In other words, he wasn't inventing
phantom syntax, rather using that of OCaml.
Pierre appears to be correct. Dromedary appears to be wrong.
Not to dampen your enthusiasm -- thanks for trying to help -- but I
suspect in this particular case it's best to just wait for the
Dromedary implementors to dive in.
Shriram