Zulip Chat Archive
Stream: lean4
Topic: Viewing Syntax, Expr and IR
Yuri de Wit (Jul 06 2022 at 12:05):
Is there an easy way for me to see the generated Syntax, Expr and/or IR for an expression or the whole module?
Yuri de Wit (Jul 06 2022 at 13:45):
It seems that set_option trace.compiler.ir.result true
is what I am looking for to see the generated IR.
Last updated: Dec 20 2023 at 11:08 UTC