freenode/#sicl - IRC Chatlog
Search
12:07:57
beach
The other good thing about this argument parsing technique is that I can do the transformation before I do my HIR-to-CL, and the latter will be simplified too.
12:09:06
beach
Though I should probably pass arguments as vectors rather than lists in HIR-to-CL to benefit the most.
12:42:04
beach
I think the best solution to this problem is to impose some restrictions that have to be tested for. Like imposing that the divisor must be positive.
13:02:21
Bike
by the way, having a distinct class for SSA locations isn't a bad idea, but with how ast-to-hir is organized we can't determine whether a temporary is SSA if it's ever in a context (so, most temporaries). during ast-to-hir, i mean, it's easy to determine afterwards
13:07:08
Bike
that could be changed by introducing a few more temporaries, though, and with the receive instruction stuff
13:09:10
Bike
well, it would mean to get full SSA form we'd have to worry only about actual lexical variables, so that's kind of neat.
13:11:36
Bike
Well, I mean, we only have non-single-assignment temporaries where basic blocks merge. and that's only from block and if, pretty nearly.
13:14:31
Bike
(except for lexical variables, because the source could setq them wherever, of course)
15:10:55
beach
metamodular.com/SICL/checking-every-keyword.pdf is how I imagine the code for checking the validity of each keyword given, should that be necessary.
15:13:37
beach
This is just code for checking the validity. I still have to generate code for determining whether that is actually needed.
15:14:03
beach
But it's just a loop as well, checking for :allow-other-keys, and comparing the following one to NIL.
15:15:35
beach
I am focused on getting things working (with as little effort as possible) before the end of the year.
15:15:59
Bike
yeah, no, sure, i was just mistakenly thinking you weren't accounting for it at all, which would be actually wrong
15:18:01
beach
I will draw similar figures for parsing a single keyword argument, for determining the value of :allow-other-keys as above, for assigning to optional parameters, and for assigning to required parameters.
15:18:29
beach
But it's tedious, so I first do it on paper, and then I clean it up before doing it properly.