Log time consumed by each phase (lexer, parser, analyzer, elab, codegen)

[Jacajack]

[WojciechPtas]

This could be fun

[WojciechPtas]

Note: As parser uses lexer, we cannot measure exact time of lexing and parsing separately. We can measure time of lexing alone and time of parsing (and lexing)

[WojciechPtas]

Note no 2. As firstly combining pass is run, we have to split sema timing in few phases Note no 3. It is probably good idea to measure semantical analysis time without the pass invoking api, am I right @Jacajack ?

[Jacajack]

Yes, that's right