14:17:51Bikei haven't set up the type directed transformation stuff yet, unfortunately. my current plan is that instead of inlining global functions at ast level, they'll have a set of "transformers" attached, that rewrite the call in various ways
14:18:10Bikeone of the transformers will just be inlining, so (a) it can use premade IR from the client instead of recompiling the AST, and (b) more policy control
14:20:16Bikewell, no, i'm planning on not including an inline AST at all. for the moment i'm holding off on that since i'm not doing sweeping changes in AST yet
14:21:36Bikethe transformers are arbitrary functions, so for example a client could have some IR for CAR or whatever, eliminate checks in it based on type info, and then inline it
14:36:10beachYou did a great job on the explanations. I realize there is a lot more to write, of course. But what is written so far is very easy to understand.