Skip to content

Instantly share code, notes, and snippets.

@PatrickMassot
Created December 14, 2022 15:23
Show Gist options
  • Save PatrickMassot/fcc633c44014e25fb458bfd620ec2a13 to your computer and use it in GitHub Desktop.
Save PatrickMassot/fcc633c44014e25fb458bfd620ec2a13 to your computer and use it in GitHub Desktop.
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