libera/#sicl - IRC Chatlog
Search
15:05:32
beach
Maybe I should work on something that does not involve type specifiers for now. I need type specifiers to turn LET* into LET, but I can turn LET into FLET without manipulating type specifiers, and I can turn FLET into LABELS and (FUNCTION (LAMBDA ...)) into FLET also without type specifiers.
16:20:53
Brucio-61
beach: 6S-EXPRESSION-SYNTAX:APPLICATION. that syntax description handles 6((lambda () ...) ...) as well as 6(FUNCTION-NAME ...)
16:35:53
beach
For what it's worth, I feel somewhat better now that I worked on some of the other AST transformations.
16:53:49
Brucio-61
beach: i pushed support for the abbreviated type declaration syntax to the 6beach branch. you should be able to simply pull the change
20:28:45
bike
I fixed up the virtual machine "cross" system so it can compile and eval in arbitrary first class environments again. and wrote out an example https://github.com/clasp-developers/cvm/tree/main/Cross
20:29:04
bike
(despite still being in clasp-developers at the moment, this works on any implementation)