Update help_messages.rs

This commit is contained in:
Cai Bingjun 2022-10-01 16:43:28 +08:00 committed by GitHub
parent d3aecb62ef
commit 831917fee2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -176,12 +176,12 @@ parse
AST()
lower
parse AST
parse
, HIR()
check
lower AST
AST
lower
HIR
compile
check AST