search

leanprover / lean4

Lean 4 programming language and theorem prover
https://lean-lang.org
Apache License 2.0
3.82k stars 325 forks source link

`set_option trace.compiler.ffi_accessors` #4041

Open digama0 opened 2 weeks ago

digama0 commented 2 weeks ago

Should we have a set_option trace.compiler.ffi_accessors option to dump [field ordering and accessor information] for user structures?

_Originally posted by @eric-wieser in https://github.com/leanprover/lean4/pull/3915#discussion_r1585705089_