13:27:42beachI mean, CAR was proclaimed INLINE, so if it is not, in fact, inlined, there must be a reason for that. What situations would make that so, and how frequent are they?
13:28:22beachIs this a more urgent problem than, say, value numbering to improve type inference?
13:36:51Bikeits not a problem at the moment since if a function is incorporated (as you put it yesterday) it is inlined
13:50:42beachIf so, we should probably eliminate the copying because the ASTs are not modified as far as I can tell.
13:51:03Bikehoisting mutates the ast so we have to copy it. but i'm a little confused with the terminology sorry. i mean they each uh... maybe it isn't otherwise a problem actually
13:51:23beachWell, hoisting should be modified so that it is done in HIR.
13:52:03Bikeif we didn't copy for hoisting i guess we'd end up with two lexical-asts but they'd have the same function-ast value so it would be fine, maybe.
13:52:08beachYou can even generate HIR code for CAR and store it together with the function entry.