-
-
Save PatrickMassot/fcc633c44014e25fb458bfd620ec2a13 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Error: invalid `Name.append`, both arguments have macro scopes, consider using `eraseMacroScopes` | |
backtrace: | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x7fb86ef2472e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Std_Range_forIn_loop___at_Lean_Elab_Tactic_Conv_congr___spec__3+0x1968)[0x7fb86e27ada8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__2+0x182)[0x7fb86e27d322] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__3+0xd5e)[0x7fb86e27f89e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fb86ef32230] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x15)[0x7fb86daad035] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalCongr___rarg+0x339)[0x7fb86e280bb9] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalSepByIndentConv+0xad)[0x7fb86e260bed] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq1Indented___boxed+0x5b)[0x7fb86e260f2b] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq___boxed+0x54)[0x7fb86e262e14] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_withTacticInfoContext___spec__1___rarg+0x251)[0x7fb86e1dec61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withTacticInfoContext___rarg+0xf5)[0x7fb86e1e0b85] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_convert+0x527)[0x7fb86e258807] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_Tactic_Conv_Basic_0__Lean_Elab_Tactic_Conv_convTarget___lambda__2+0x4ab)[0x7fb86e2699cb] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_withMainContext___spec__1___rarg+0x56)[0x7fb86e204476] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withMainContext___rarg+0x2ff)[0x7fb86e20490f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv___lambda__1+0xe97)[0x7fb86e26d027] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv+0x2a5)[0x7fb86e26d875] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalSepByIndentTactic+0x1e4)[0x7fb86e2fd514] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq1Indented___boxed+0x54)[0x7fb86e2fda84] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq___boxed+0x54)[0x7fb86e324af4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Term_runTactic___spec__9+0x251)[0x7fb86e6922b1] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__2+0x1a5)[0x7fb86e694705] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_run___lambda__1+0x2dd)[0x7fb86e1d9a4d] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_run___spec__1___rarg+0x4c)[0x7fb86e1d95dc] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__3+0x410)[0x7fb86e6955c0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar___lambda__3+0x90)[0x7fb86e68c070] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withLevelNames___rarg+0x173)[0x7fb86e91dd43] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withSavedContext___rarg+0x89f)[0x7fb86e95131f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar+0xbbd)[0x7fb86e688abd] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_List_filterAuxM___at___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep___spec__1+0x985)[0x7fb86e686c55] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep+0x2dc)[0x7fb86e6847ec] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars_loop+0x2902)[0x7fb86e6827d2] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars+0xd6)[0x7fb86e694be6] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm_go+0x878)[0x7fb86e3715f8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm+0x80)[0x7fb86e372940] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTermEnsuringType+0x103)[0x7fb86e372d03] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withCollectingNewGoalsFrom_go+0x1de)[0x7fb86e37d37e] | |
Error: invalid `Name.append`, both arguments have macro scopes, consider using `eraseMacroScopes` | |
backtrace: | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x7fb86ef2472e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Std_Range_forIn_loop___at_Lean_Elab_Tactic_Conv_congr___spec__3+0x1968)[0x7fb86e27ada8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__2+0x182)[0x7fb86e27d322] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__3+0xd5e)[0x7fb86e27f89e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fb86ef32230] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x15)[0x7fb86daad035] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalCongr___rarg+0x339)[0x7fb86e280bb9] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalSepByIndentConv+0xad)[0x7fb86e260bed] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq1Indented___boxed+0x5b)[0x7fb86e260f2b] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq___boxed+0x54)[0x7fb86e262e14] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_withTacticInfoContext___spec__1___rarg+0x251)[0x7fb86e1dec61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withTacticInfoContext___rarg+0xf5)[0x7fb86e1e0b85] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_convert+0x527)[0x7fb86e258807] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_Tactic_Conv_Basic_0__Lean_Elab_Tactic_Conv_convTarget___lambda__2+0x4ab)[0x7fb86e2699cb] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_withMainContext___spec__1___rarg+0x56)[0x7fb86e204476] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withMainContext___rarg+0x2ff)[0x7fb86e20490f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv___lambda__1+0xe97)[0x7fb86e26d027] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv+0x2a5)[0x7fb86e26d875] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalSepByIndentTactic+0x1e4)[0x7fb86e2fd514] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq1Indented___boxed+0x54)[0x7fb86e2fda84] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq___boxed+0x54)[0x7fb86e324af4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Term_runTactic___spec__9+0x251)[0x7fb86e6922b1] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__2+0x1a5)[0x7fb86e694705] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_run___lambda__1+0x2dd)[0x7fb86e1d9a4d] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_run___spec__1___rarg+0x4c)[0x7fb86e1d95dc] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__3+0x410)[0x7fb86e6955c0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar___lambda__3+0x90)[0x7fb86e68c070] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withLevelNames___rarg+0x173)[0x7fb86e91dd43] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withSavedContext___rarg+0x89f)[0x7fb86e95131f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar+0xbbd)[0x7fb86e688abd] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_List_filterAuxM___at___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep___spec__1+0x985)[0x7fb86e686c55] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep+0x2dc)[0x7fb86e6847ec] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars_loop+0x2902)[0x7fb86e6827d2] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars+0xd6)[0x7fb86e694be6] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm_go+0x878)[0x7fb86e3715f8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm+0x80)[0x7fb86e372940] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTermEnsuringType+0x103)[0x7fb86e372d03] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withCollectingNewGoalsFrom_go+0x1de)[0x7fb86e37d37e] | |
Error: invalid `Name.append`, both arguments have macro scopes, consider using `eraseMacroScopes` | |
backtrace: | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x7fb86ef2472e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Std_Range_forIn_loop___at_Lean_Elab_Tactic_Conv_congr___spec__3+0x1968)[0x7fb86e27ada8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__2+0x182)[0x7fb86e27d322] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__3+0xd5e)[0x7fb86e27f89e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fb86ef32230] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x15)[0x7fb86daad035] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalCongr___rarg+0x339)[0x7fb86e280bb9] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalSepByIndentConv+0xad)[0x7fb86e260bed] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq1Indented___boxed+0x5b)[0x7fb86e260f2b] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq___boxed+0x54)[0x7fb86e262e14] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_withTacticInfoContext___spec__1___rarg+0x251)[0x7fb86e1dec61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withTacticInfoContext___rarg+0xf5)[0x7fb86e1e0b85] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_convert+0x527)[0x7fb86e258807] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_Tactic_Conv_Basic_0__Lean_Elab_Tactic_Conv_convTarget___lambda__2+0x4ab)[0x7fb86e2699cb] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_withMainContext___spec__1___rarg+0x56)[0x7fb86e204476] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withMainContext___rarg+0x2ff)[0x7fb86e20490f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv___lambda__1+0xe97)[0x7fb86e26d027] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv+0x2a5)[0x7fb86e26d875] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalSepByIndentTactic+0x1e4)[0x7fb86e2fd514] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq1Indented___boxed+0x54)[0x7fb86e2fda84] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq___boxed+0x54)[0x7fb86e324af4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Term_runTactic___spec__9+0x251)[0x7fb86e6922b1] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__2+0x1a5)[0x7fb86e694705] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_run___lambda__1+0x2dd)[0x7fb86e1d9a4d] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_run___spec__1___rarg+0x4c)[0x7fb86e1d95dc] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__3+0x410)[0x7fb86e6955c0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar___lambda__3+0x90)[0x7fb86e68c070] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withLevelNames___rarg+0x173)[0x7fb86e91dd43] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withSavedContext___rarg+0x89f)[0x7fb86e95131f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar+0xbbd)[0x7fb86e688abd] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_List_filterAuxM___at___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep___spec__1+0x985)[0x7fb86e686c55] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep+0x2dc)[0x7fb86e6847ec] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars_loop+0x2902)[0x7fb86e6827d2] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars+0xd6)[0x7fb86e694be6] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm_go+0x878)[0x7fb86e3715f8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm+0x80)[0x7fb86e372940] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTermEnsuringType+0x103)[0x7fb86e372d03] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withCollectingNewGoalsFrom_go+0x1de)[0x7fb86e37d37e] | |
Error: invalid `Name.append`, both arguments have macro scopes, consider using `eraseMacroScopes` | |
backtrace: | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x7fb86ef2472e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Std_Range_forIn_loop___at_Lean_Elab_Tactic_Conv_congr___spec__3+0x1968)[0x7fb86e27ada8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__2+0x182)[0x7fb86e27d322] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_congr___lambda__3+0xd5e)[0x7fb86e27f89e] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fb86ef32230] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at___private_Lean_Meta_SynthInstance_0__Lean_Meta_synthPendingImp___spec__2___rarg+0x15)[0x7fb86daad035] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalCongr___rarg+0x339)[0x7fb86e280bb9] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalSepByIndentConv+0xad)[0x7fb86e260bed] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq1Indented___boxed+0x5b)[0x7fb86e260f2b] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConvSeq___boxed+0x54)[0x7fb86e262e14] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_withTacticInfoContext___spec__1___rarg+0x251)[0x7fb86e1dec61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withTacticInfoContext___rarg+0xf5)[0x7fb86e1e0b85] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_convert+0x527)[0x7fb86e258807] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_Tactic_Conv_Basic_0__Lean_Elab_Tactic_Conv_convTarget___lambda__2+0x4ab)[0x7fb86e2699cb] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_withMainContext___spec__1___rarg+0x56)[0x7fb86e204476] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withMainContext___rarg+0x2ff)[0x7fb86e20490f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv___lambda__1+0xe97)[0x7fb86e26d027] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_Conv_evalConv+0x2a5)[0x7fb86e26d875] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalSepByIndentTactic___spec__1+0x994)[0x7fb86e2fb884] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalSepByIndentTactic+0x1e4)[0x7fb86e2fd514] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq1Indented___boxed+0x54)[0x7fb86e2fda84] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTacticSeq___boxed+0x54)[0x7fb86e324af4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Tactic_evalTactic_eval___spec__1+0x251)[0x7fb86e1e5041] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_eval+0x35a)[0x7fb86e1e736a] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic_expandEval+0x1257)[0x7fb86e1ef307] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__2+0x114)[0x7fb86e1f12b4] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__3+0x397)[0x7fb86e1f16c7] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_evalTactic___lambda__4+0x295)[0x7fb86e1f1b05] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_3+0x4a1)[0x7fb86ef30861] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fb86ef353f0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_withInfoTreeContext___at_Lean_Elab_Term_runTactic___spec__9+0x251)[0x7fb86e6922b1] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__2+0x1a5)[0x7fb86e694705] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_run___lambda__1+0x2dd)[0x7fb86e1d9a4d] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fb86ef32279] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg+0x208)[0x7fb86d2a1258] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_MVarId_withContext___at_Lean_Elab_Tactic_run___spec__1___rarg+0x4c)[0x7fb86e1d95dc] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_runTactic___lambda__3+0x410)[0x7fb86e6955c0] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar___lambda__3+0x90)[0x7fb86e68c070] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fb86ef33b61] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withLevelNames___rarg+0x173)[0x7fb86e91dd43] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_withSavedContext___rarg+0x89f)[0x7fb86e95131f] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVar+0xbbd)[0x7fb86e688abd] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_List_filterAuxM___at___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep___spec__1+0x985)[0x7fb86e686c55] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l___private_Lean_Elab_SyntheticMVars_0__Lean_Elab_Term_synthesizeSyntheticMVarsStep+0x2dc)[0x7fb86e6847ec] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars_loop+0x2902)[0x7fb86e6827d2] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Term_synthesizeSyntheticMVars+0xd6)[0x7fb86e694be6] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm_go+0x878)[0x7fb86e3715f8] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTerm+0x80)[0x7fb86e372940] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_elabTermEnsuringType+0x103)[0x7fb86e372d03] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(lean_apply_9+0x483)[0x7fb86ef35453] | |
/home/pmassot/.elan/toolchains/leanprover--lean4---nightly-2022-12-13/bin/../lib/lean/libleanshared.so(l_Lean_Elab_Tactic_withCollectingNewGoalsFrom_go+0x1de)[0x7fb86e37d37e] |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment