I am going to do research on HIR and MIR, but I can't find any direct syntax on these languages, like the datatype or function definition. Does anyone got some documents about the syntax of HIR and MIR? Thanks a lot.
Since this involves an internal part of the compiler, I think you'll have better answers if you ask on the platform where the compiler maintainers work: Zulip
HIR is can roughly be considered an alternate representation of the parsed AST after macro expansion and desugaring of
for loops and the
? operator. MIR only represents function bodies in a CFG format. In addition the MIR explicitly uses function calls for overloaded operators and
Drop terminators for the implicit dropping of values at the end of their scope.