libera/#sicl - IRC Chatlog
Search
21:21:26
pfd
I'm getting: ; Debugger entered on Component #:SICL-BOOT-ENVIRONMENT not found, required by #<SYSTEM "sicl-boot">
21:21:27
pfd
With SBCL 2.2.3 the asdf:load-system stage just kept going and going, in loops, I think.
21:39:34
Duuqnd
For me it's clostrum/virtual that's missing, I'm on 2.1.9 (because I'm lazy and can't be bothered to update SBCL)
22:03:41
moon-child
I have seen e.g. '@Duuqnd' fairly frequently, and I think it comes from twitter or discord. But where does ':Duuqnd' come from?
3:16:21
Bike
i've mostly finished the unwinding stuff i was doing in clasp finally. it works more like sicl's now: when you enter a block or bind a special or etc it allocates a dynamic environment object, and the unwinder consults the stack of dynamic environments to figure out what to do. works great. and i didn't need to change the IR, so that part is
3:16:51
Bike
i also found that heap-allocating the dynamic environment for a block/tagbody is not noticeably expensive and lets out-of-extent unwinds be detected gracefully. might be easier than the timestamp stuff
3:22:34
Bike
i am thinking i will introduce some default ASTs/IR/etc to represent unwind-protect and some other things that cleavir has always punted on. it will still be possible for a client to put in their own overrides of course. but without some support from the rest of the structure it's kind of tricky to maintain the unwind-protect cleanup as a function
3:29:35
Bike
karlosz's local call stuff has been extremely helpful and i'd basically like to apply it as much as possible. though i'd also like to figure out something for slightly more general situations where a given call site has a known fixed set of functions that can be called. trying to think about that in relation to abstract interpretation.
3:31:49
moon-child
wasn't it previously proposed that, when assumptions are made about a callee, the latter might be 'frozen', st redefinition doesn't apply to the call site (looking to the user as though the callee were inlined)?
3:34:31
Bike
beach: a simple example would be `(funcall (if ... #'+ #'-) ...)`. I think it should be possible for example for type inference to work out that the result is a float of all the arguments are. not sure how practically relevant it is given how people actually write CL, but i like to be general when i can