freenode/#sicl - IRC Chatlog
Search
17:42:05
jcowan
I have read the Queinnec paper with some pain. However, it is a mixture of concerns from my point of view: I am (and I think you are) only interested in first-class global environments, whereas Q's environments also include the local (lexical) environment.
17:42:49
jcowan
(There are people in the Scheme community who claim that the inability of Scheme's eval to access the lexical environment of its call was a grave error, but they aren't much listened to.)
17:44:39
Bike
kind of a different question from whether it should be possible to access lexical environments in some fashion, though
18:28:13
jcowan
in pre-Scheme, pre-CL days when all variabvles were dynamically scoped, eval had access to local as well as global variables automatically.
19:40:24
Bike
so i got through a lot of the rewrite but just remembered that we do need to generate ASTs from things that aren't functions, so there will be no dynamic environment argument available. not sure how to represent that.
19:58:16
Bike
that is, if i cst-to-ast '(foo 4), i need something in the dynamic-environment input for that call
22:54:57
Bike
other than that everything seems to be working. block and tagbody unwind hir looks sane. having catch have multiple successors for tagbody really cleans things up, both in ast-to-hir code and the graphs themselves
22:55:18
Bike
tomorrow i'll hook it up in clasp in order to remove my illusion that everything seems to be working
22:55:32
Bike
i have it pushed as the dynamic-environment branch if anyone wants to take a look. or i will in a minute anyway.
4:27:00
Bike
also, i think to support the dynamic environments in inlining, all i need to do is absolutely nothing. but we'll see how that works out