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.
This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.