freenode/#sicl - IRC Chatlog
Search
17:30:32
Bike
::notify karlosz what if we introduce multiple-to-fixed in meta-evaluate? it seems simple to have meta-evaluate collapse (mv(-local)-call f known-values...) to a call and then try to interpolate again
18:21:02
Bike
::notify karlosz as opposed to leaving things as mv-calls all the way to mir level, i mean
19:38:59
Bike
but this wouldn't be like the old multiple-to-fixed since the number of values is known
19:43:49
Bike
still, i think this is the main thing slowing the mirtype branch. i guess the alternate would be doing it at mir level... might as well try that i suppose...
22:10:17
Colleen
karlosz: Bike said 4 hours, 39 minutes ago: what if we introduce multiple-to-fixed in meta-evaluate? it seems simple to have meta-evaluate collapse (mv(-local)-call f known-values...) to a call and then try to interpolate again
22:10:18
Colleen
karlosz: Bike said 3 hours, 49 minutes ago: as opposed to leaving things as mv-calls all the way to mir level, i mean
22:23:28
Bike
well, it's mostly just a question of organization. i like how the post-bir translation layer can be pretty straightforward now, just working on individual instructions. complex use of inferred types would make it a lot more involved.
22:23:56
Bike
but i already have the bir-to-bmir bit doing "rtype" coercion stuff, so i guess putting it in there would be fine