diff --git a/stage0/stdlib/Init/Data/Array/Mem.c b/stage0/stdlib/Init/Data/Array/Mem.c index 62ae5b4bcd..008fba76d0 100644 --- a/stage0/stdlib/Init/Data/Array/Mem.c +++ b/stage0/stdlib/Init/Data/Array/Mem.c @@ -1047,7 +1047,7 @@ static lean_object* _init_l_Array___aux__Init__Data__Array__Mem______macroRules_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } diff --git a/stage0/stdlib/Init/Data/List/BasicAux.c b/stage0/stdlib/Init/Data/List/BasicAux.c index 64143f581c..3a57f748a3 100644 --- a/stage0/stdlib/Init/Data/List/BasicAux.c +++ b/stage0/stdlib/Init/Data/List/BasicAux.c @@ -1494,7 +1494,7 @@ static lean_object* _init_l_List___aux__Init__Data__List__BasicAux______macroRul _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } diff --git a/stage0/stdlib/Init/Meta.c b/stage0/stdlib/Init/Meta.c index 6ac030863c..a94d26178e 100644 --- a/stage0/stdlib/Init/Meta.c +++ b/stage0/stdlib/Init/Meta.c @@ -2914,7 +2914,7 @@ static lean_object* _init_l_Lean_Name_toString_maybePseudoSyntax___closed__2() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -22344,7 +22344,7 @@ static lean_object* _init_l_Lean_Parser_Tactic___aux__Init__Meta______macroRules _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("stx_?", 5); +x_1 = lean_mk_string_from_bytes("stx_\?", 5); return x_1; } } diff --git a/stage0/stdlib/Init/Notation.c b/stage0/stdlib/Init/Notation.c index c7b8c7d2b2..640feb2165 100644 --- a/stage0/stdlib/Init/Notation.c +++ b/stage0/stdlib/Init/Notation.c @@ -3359,7 +3359,7 @@ static lean_object* _init_l_stx___x3f___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("stx_?", 5); +x_1 = lean_mk_string_from_bytes("stx_\?", 5); return x_1; } } @@ -3377,7 +3377,7 @@ static lean_object* _init_l_stx___x3f___closed__3() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -4374,7 +4374,7 @@ static lean_object* _init_l_stx___x2c_x2a_x2c_x3f___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("stx_,*,?", 8); +x_1 = lean_mk_string_from_bytes("stx_,*,\?", 8); return x_1; } } @@ -4392,7 +4392,7 @@ static lean_object* _init_l_stx___x2c_x2a_x2c_x3f___closed__3() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(",*,?", 4); +x_1 = lean_mk_string_from_bytes(",*,\?", 4); return x_1; } } @@ -4529,7 +4529,7 @@ static lean_object* _init_l_stx___x2c_x2b_x2c_x3f___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("stx_,+,?", 8); +x_1 = lean_mk_string_from_bytes("stx_,+,\?", 8); return x_1; } } @@ -4547,7 +4547,7 @@ static lean_object* _init_l_stx___x2c_x2b_x2c_x3f___closed__3() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(",+,?", 4); +x_1 = lean_mk_string_from_bytes(",+,\?", 4); return x_1; } } diff --git a/stage0/stdlib/Init/NotationExtra.c b/stage0/stdlib/Init/NotationExtra.c index 95d4e96099..8381a3f910 100644 --- a/stage0/stdlib/Init/NotationExtra.c +++ b/stage0/stdlib/Init/NotationExtra.c @@ -2700,7 +2700,7 @@ static lean_object* _init_l_Lean_unifConstraint___closed__6() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } @@ -9647,7 +9647,7 @@ static lean_object* _init_l_unexpandGetElem_x3f___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("term__[_]_?", 11); +x_1 = lean_mk_string_from_bytes("term__[_]_\?", 11); return x_1; } } @@ -9665,7 +9665,7 @@ static lean_object* _init_l_unexpandGetElem_x3f___closed__3() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } diff --git a/stage0/stdlib/Init/Tactics.c b/stage0/stdlib/Init/Tactics.c index 5fe1edd220..e07e4dfb71 100644 --- a/stage0/stdlib/Init/Tactics.c +++ b/stage0/stdlib/Init/Tactics.c @@ -9873,7 +9873,7 @@ static lean_object* _init_l_Lean_Parser_Tactic___aux__Init__Tactics______macroRu _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -15513,7 +15513,7 @@ static lean_object* _init_l___aux__Init__Tactics______macroRules__tacticGet__ele _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("\"failed to prove index is valid, possible solutions:\n - Use `have`-expressions to prove the index is valid\n - Use `a[i]!` notation instead, runtime check is perfomed, and 'Panic' error message is produced if index is not valid\n - Use `a[i]?` notation instead, result is an `Option` type\n - Use `a[i]'h` notation instead, where `h` is a proof that index is valid\"", 366); +x_1 = lean_mk_string_from_bytes("\"failed to prove index is valid, possible solutions:\n - Use `have`-expressions to prove the index is valid\n - Use `a[i]!` notation instead, runtime check is perfomed, and 'Panic' error message is produced if index is not valid\n - Use `a[i]\?` notation instead, result is an `Option` type\n - Use `a[i]'h` notation instead, where `h` is a proof that index is valid\"", 366); return x_1; } } diff --git a/stage0/stdlib/Init/Util.c b/stage0/stdlib/Init/Util.c index 05d9a3ea44..52d8d7dfc8 100644 --- a/stage0/stdlib/Init/Util.c +++ b/stage0/stdlib/Init/Util.c @@ -718,7 +718,7 @@ static lean_object* _init_l_term_____x5b___x5d___x3f___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("term__[_]_?", 11); +x_1 = lean_mk_string_from_bytes("term__[_]_\?", 11); return x_1; } } @@ -934,7 +934,7 @@ static lean_object* _init_l_term_____x5b___x5d___x3f___closed__22() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -1034,7 +1034,7 @@ static lean_object* _init_l___aux__Init__Util______macroRules__term_____x5b___x5 _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("getElem?", 8); +x_1 = lean_mk_string_from_bytes("getElem\?", 8); return x_1; } } diff --git a/stage0/stdlib/Lean/Compiler/IR/EmitC.c b/stage0/stdlib/Lean/Compiler/IR/EmitC.c index 2f9a645f8d..fe0af82215 100644 --- a/stage0/stdlib/Lean/Compiler/IR/EmitC.c +++ b/stage0/stdlib/Lean/Compiler/IR/EmitC.c @@ -8725,7 +8725,7 @@ static lean_object* _init_l_String_foldlAux___at_Lean_IR_EmitC_quoteString___spe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("\\?", 2); +x_1 = lean_mk_string_from_bytes("\\\?", 2); return x_1; } } diff --git a/stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c b/stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c index 95a094b99b..d9ab2ebd10 100644 --- a/stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c +++ b/stage0/stdlib/Lean/Compiler/LCNF/Simp/InlineProj.c @@ -145,7 +145,7 @@ static lean_object* _init_l_Lean_Compiler_LCNF_Simp_inlineProjInst_x3f_visit___c _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Simp.inlineProjInst?.visit", 45); +x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Simp.inlineProjInst\?.visit", 45); return x_1; } } diff --git a/stage0/stdlib/Lean/Compiler/LCNF/Specialize.c b/stage0/stdlib/Lean/Compiler/LCNF/Specialize.c index 5d14cb98f6..ab91044c51 100644 --- a/stage0/stdlib/Lean/Compiler/LCNF/Specialize.c +++ b/stage0/stdlib/Lean/Compiler/LCNF/Specialize.c @@ -5719,7 +5719,7 @@ static lean_object* _init_l_Lean_Compiler_LCNF_Specialize_specializeApp_x3f___la _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Specialize.specializeApp?", 44); +x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.Specialize.specializeApp\?", 44); return x_1; } } diff --git a/stage0/stdlib/Lean/Compiler/LCNF/Util.c b/stage0/stdlib/Lean/Compiler/LCNF/Util.c index 202e325e91..b3b23dbefe 100644 --- a/stage0/stdlib/Lean/Compiler/LCNF/Util.c +++ b/stage0/stdlib/Lean/Compiler/LCNF/Util.c @@ -609,7 +609,7 @@ static lean_object* _init_l_Array_mapMUnsafe_map___at_Lean_Compiler_LCNF_getCase _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.getCasesInfo?", 32); +x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.getCasesInfo\?", 32); return x_1; } } @@ -1124,7 +1124,7 @@ static lean_object* _init_l_Lean_Compiler_LCNF_isCasesApp_x3f___closed__4() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.isCasesApp?", 30); +x_1 = lean_mk_string_from_bytes("Lean.Compiler.LCNF.isCasesApp\?", 30); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/Basic.c b/stage0/stdlib/Lean/Data/Lsp/Basic.c index 91c9246105..7b91ec88da 100644 --- a/stage0/stdlib/Lean/Data/Lsp/Basic.c +++ b/stage0/stdlib/Lean/Data/Lsp/Basic.c @@ -3094,7 +3094,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonLo _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("originSelectionRange?", 21); +x_1 = lean_mk_string_from_bytes("originSelectionRange\?", 21); return x_1; } } @@ -3871,7 +3871,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonCo _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("arguments?", 10); +x_1 = lean_mk_string_from_bytes("arguments\?", 10); return x_1; } } @@ -4395,7 +4395,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonTe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("annotationId?", 13); +x_1 = lean_mk_string_from_bytes("annotationId\?", 13); return x_1; } } @@ -5217,7 +5217,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonVe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("version?", 8); +x_1 = lean_mk_string_from_bytes("version\?", 8); return x_1; } } @@ -6024,7 +6024,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonCh _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("description?", 12); +x_1 = lean_mk_string_from_bytes("description\?", 12); return x_1; } } @@ -7193,7 +7193,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonCr _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("options?", 8); +x_1 = lean_mk_string_from_bytes("options\?", 8); return x_1; } } @@ -15313,7 +15313,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonAp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("label?", 6); +x_1 = lean_mk_string_from_bytes("label\?", 6); return x_1; } } @@ -16512,7 +16512,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonDo _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("language?", 9); +x_1 = lean_mk_string_from_bytes("language\?", 9); return x_1; } } @@ -16560,7 +16560,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonDo _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("scheme?", 7); +x_1 = lean_mk_string_from_bytes("scheme\?", 7); return x_1; } } @@ -16608,7 +16608,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonDo _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("pattern?", 8); +x_1 = lean_mk_string_from_bytes("pattern\?", 8); return x_1; } } @@ -17063,7 +17063,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonSt _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("id?", 3); +x_1 = lean_mk_string_from_bytes("id\?", 3); return x_1; } } @@ -17397,7 +17397,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonTe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("documentSelector?", 17); +x_1 = lean_mk_string_from_bytes("documentSelector\?", 17); return x_1; } } @@ -18775,7 +18775,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonWo _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("workDoneToken?", 14); +x_1 = lean_mk_string_from_bytes("workDoneToken\?", 14); return x_1; } } @@ -19008,7 +19008,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Basic_0__Lean_Lsp_fromJsonPa _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("partialResultToken?", 19); +x_1 = lean_mk_string_from_bytes("partialResultToken\?", 19); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/Capabilities.c b/stage0/stdlib/Lean/Data/Lsp/Capabilities.c index 10f02ea75f..58efae5db5 100644 --- a/stage0/stdlib/Lean/Data/Lsp/Capabilities.c +++ b/stage0/stdlib/Lean/Data/Lsp/Capabilities.c @@ -502,7 +502,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("insertReplaceSupport?", 21); +x_1 = lean_mk_string_from_bytes("insertReplaceSupport\?", 21); return x_1; } } @@ -842,7 +842,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("completionItem?", 15); +x_1 = lean_mk_string_from_bytes("completionItem\?", 15); return x_1; } } @@ -1284,7 +1284,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("completion?", 11); +x_1 = lean_mk_string_from_bytes("completion\?", 11); return x_1; } } @@ -1332,7 +1332,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("codeAction?", 11); +x_1 = lean_mk_string_from_bytes("codeAction\?", 11); return x_1; } } @@ -1922,7 +1922,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("showDocument?", 13); +x_1 = lean_mk_string_from_bytes("showDocument\?", 13); return x_1; } } @@ -2155,7 +2155,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("groupsOnLabel?", 14); +x_1 = lean_mk_string_from_bytes("groupsOnLabel\?", 14); return x_1; } } @@ -2519,7 +2519,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("documentChanges?", 16); +x_1 = lean_mk_string_from_bytes("documentChanges\?", 16); return x_1; } } @@ -2567,7 +2567,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("changeAnnotationSupport?", 24); +x_1 = lean_mk_string_from_bytes("changeAnnotationSupport\?", 24); return x_1; } } @@ -2615,7 +2615,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("resourceOperations?", 19); +x_1 = lean_mk_string_from_bytes("resourceOperations\?", 19); return x_1; } } @@ -3083,7 +3083,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("workspaceEdit?", 14); +x_1 = lean_mk_string_from_bytes("workspaceEdit\?", 14); return x_1; } } @@ -3683,7 +3683,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("textDocument?", 13); +x_1 = lean_mk_string_from_bytes("textDocument\?", 13); return x_1; } } @@ -3731,7 +3731,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("window?", 7); +x_1 = lean_mk_string_from_bytes("window\?", 7); return x_1; } } @@ -3779,7 +3779,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("workspace?", 10); +x_1 = lean_mk_string_from_bytes("workspace\?", 10); return x_1; } } @@ -4812,7 +4812,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("textDocumentSync?", 17); +x_1 = lean_mk_string_from_bytes("textDocumentSync\?", 17); return x_1; } } @@ -4860,7 +4860,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("completionProvider?", 19); +x_1 = lean_mk_string_from_bytes("completionProvider\?", 19); return x_1; } } @@ -5268,7 +5268,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("semanticTokensProvider?", 23); +x_1 = lean_mk_string_from_bytes("semanticTokensProvider\?", 23); return x_1; } } @@ -5316,7 +5316,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Capabilities_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("codeActionProvider?", 19); +x_1 = lean_mk_string_from_bytes("codeActionProvider\?", 19); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/CodeActions.c b/stage0/stdlib/Lean/Data/Lsp/CodeActions.c index ce8b8045b6..6d71a7a952 100644 --- a/stage0/stdlib/Lean/Data/Lsp/CodeActions.c +++ b/stage0/stdlib/Lean/Data/Lsp/CodeActions.c @@ -1230,7 +1230,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("only?", 5); +x_1 = lean_mk_string_from_bytes("only\?", 5); return x_1; } } @@ -1286,7 +1286,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("triggerKind?", 12); +x_1 = lean_mk_string_from_bytes("triggerKind\?", 12); return x_1; } } @@ -1791,7 +1791,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("workDoneToken?", 14); +x_1 = lean_mk_string_from_bytes("workDoneToken\?", 14); return x_1; } } @@ -1847,7 +1847,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("partialResultToken?", 19); +x_1 = lean_mk_string_from_bytes("partialResultToken\?", 19); return x_1; } } @@ -2867,7 +2867,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("codeActionKinds?", 16); +x_1 = lean_mk_string_from_bytes("codeActionKinds\?", 16); return x_1; } } @@ -2915,7 +2915,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("resolveProvider?", 16); +x_1 = lean_mk_string_from_bytes("resolveProvider\?", 16); return x_1; } } @@ -3977,7 +3977,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("kind?", 5); +x_1 = lean_mk_string_from_bytes("kind\?", 5); return x_1; } } @@ -4025,7 +4025,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("diagnostics?", 12); +x_1 = lean_mk_string_from_bytes("diagnostics\?", 12); return x_1; } } @@ -4073,7 +4073,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("isPreferred?", 12); +x_1 = lean_mk_string_from_bytes("isPreferred\?", 12); return x_1; } } @@ -4121,7 +4121,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("disabled?", 9); +x_1 = lean_mk_string_from_bytes("disabled\?", 9); return x_1; } } @@ -4169,7 +4169,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("edit?", 5); +x_1 = lean_mk_string_from_bytes("edit\?", 5); return x_1; } } @@ -4217,7 +4217,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("command?", 8); +x_1 = lean_mk_string_from_bytes("command\?", 8); return x_1; } } @@ -4265,7 +4265,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("data?", 5); +x_1 = lean_mk_string_from_bytes("data\?", 5); return x_1; } } @@ -5867,7 +5867,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("dynamicRegistration?", 20); +x_1 = lean_mk_string_from_bytes("dynamicRegistration\?", 20); return x_1; } } @@ -5923,7 +5923,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("isPreferredSupport?", 19); +x_1 = lean_mk_string_from_bytes("isPreferredSupport\?", 19); return x_1; } } @@ -5979,7 +5979,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("disabledSupport?", 16); +x_1 = lean_mk_string_from_bytes("disabledSupport\?", 16); return x_1; } } @@ -6035,7 +6035,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("dataSupport?", 12); +x_1 = lean_mk_string_from_bytes("dataSupport\?", 12); return x_1; } } @@ -6091,7 +6091,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("honorsChangeAnnotations?", 24); +x_1 = lean_mk_string_from_bytes("honorsChangeAnnotations\?", 24); return x_1; } } @@ -6147,7 +6147,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("codeActionLiteralSupport?", 25); +x_1 = lean_mk_string_from_bytes("codeActionLiteralSupport\?", 25); return x_1; } } @@ -6203,7 +6203,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_CodeActions_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("resolveSupport?", 15); +x_1 = lean_mk_string_from_bytes("resolveSupport\?", 15); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/Diagnostics.c b/stage0/stdlib/Lean/Data/Lsp/Diagnostics.c index 80e614fee6..c22319ce8b 100644 --- a/stage0/stdlib/Lean/Data/Lsp/Diagnostics.c +++ b/stage0/stdlib/Lean/Data/Lsp/Diagnostics.c @@ -3834,7 +3834,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("fullRange?", 10); +x_1 = lean_mk_string_from_bytes("fullRange\?", 10); return x_1; } } @@ -3882,7 +3882,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("severity?", 9); +x_1 = lean_mk_string_from_bytes("severity\?", 9); return x_1; } } @@ -3930,7 +3930,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("code?", 5); +x_1 = lean_mk_string_from_bytes("code\?", 5); return x_1; } } @@ -3978,7 +3978,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("source?", 7); +x_1 = lean_mk_string_from_bytes("source\?", 7); return x_1; } } @@ -4046,7 +4046,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("tags?", 5); +x_1 = lean_mk_string_from_bytes("tags\?", 5); return x_1; } } @@ -4094,7 +4094,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("relatedInformation?", 19); +x_1 = lean_mk_string_from_bytes("relatedInformation\?", 19); return x_1; } } @@ -4142,7 +4142,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("data?", 5); +x_1 = lean_mk_string_from_bytes("data\?", 5); return x_1; } } @@ -6045,7 +6045,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Diagnostics_0__Lean_Lsp_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("version?", 8); +x_1 = lean_mk_string_from_bytes("version\?", 8); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/Extra.c b/stage0/stdlib/Lean/Data/Lsp/Extra.c index 1dcae48347..ad715d217e 100644 --- a/stage0/stdlib/Lean/Data/Lsp/Extra.c +++ b/stage0/stdlib/Lean/Data/Lsp/Extra.c @@ -1142,7 +1142,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_Extra_0__Lean_Lsp_fromJsonLe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("dependencyBuildMode?", 20); +x_1 = lean_mk_string_from_bytes("dependencyBuildMode\?", 20); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/InitShutdown.c b/stage0/stdlib/Lean/Data/Lsp/InitShutdown.c index b329982b55..4334f362b4 100644 --- a/stage0/stdlib/Lean/Data/Lsp/InitShutdown.c +++ b/stage0/stdlib/Lean/Data/Lsp/InitShutdown.c @@ -415,7 +415,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("version?", 8); +x_1 = lean_mk_string_from_bytes("version\?", 8); return x_1; } } @@ -985,7 +985,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("editDelay?", 10); +x_1 = lean_mk_string_from_bytes("editDelay\?", 10); return x_1; } } @@ -1033,7 +1033,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("hasWidgets?", 11); +x_1 = lean_mk_string_from_bytes("hasWidgets\?", 11); return x_1; } } @@ -3457,7 +3457,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_InitShutdown_0__Lean_Lsp_fro _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("serverInfo?", 11); +x_1 = lean_mk_string_from_bytes("serverInfo\?", 11); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c b/stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c index b308fde7ca..1000212129 100644 --- a/stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c +++ b/stage0/stdlib/Lean/Data/Lsp/LanguageFeatures.c @@ -1328,7 +1328,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("triggerCharacters?", 18); +x_1 = lean_mk_string_from_bytes("triggerCharacters\?", 18); return x_1; } } @@ -1392,7 +1392,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("allCommitCharacters?", 20); +x_1 = lean_mk_string_from_bytes("allCommitCharacters\?", 20); return x_1; } } @@ -5401,7 +5401,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("detail?", 7); +x_1 = lean_mk_string_from_bytes("detail\?", 7); return x_1; } } @@ -5457,7 +5457,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("documentation?", 14); +x_1 = lean_mk_string_from_bytes("documentation\?", 14); return x_1; } } @@ -5513,7 +5513,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("kind?", 5); +x_1 = lean_mk_string_from_bytes("kind\?", 5); return x_1; } } @@ -5569,7 +5569,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("textEdit?", 9); +x_1 = lean_mk_string_from_bytes("textEdit\?", 9); return x_1; } } @@ -7035,7 +7035,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("range?", 6); +x_1 = lean_mk_string_from_bytes("range\?", 6); return x_1; } } @@ -16983,7 +16983,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_LanguageFeatures_0__Lean_Lsp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("resultId?", 9); +x_1 = lean_mk_string_from_bytes("resultId\?", 9); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Lsp/TextSync.c b/stage0/stdlib/Lean/Data/Lsp/TextSync.c index 502ca2a715..2b3f86713a 100644 --- a/stage0/stdlib/Lean/Data/Lsp/TextSync.c +++ b/stage0/stdlib/Lean/Data/Lsp/TextSync.c @@ -895,7 +895,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_TextSync_0__Lean_Lsp_fromJso _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("documentSelector?", 17); +x_1 = lean_mk_string_from_bytes("documentSelector\?", 17); return x_1; } } @@ -2802,7 +2802,7 @@ static lean_object* _init_l___private_Lean_Data_Lsp_TextSync_0__Lean_Lsp_fromJso _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("save?", 5); +x_1 = lean_mk_string_from_bytes("save\?", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Data/Xml/Parser.c b/stage0/stdlib/Lean/Data/Xml/Parser.c index 0702708ff3..f5ad25553f 100644 --- a/stage0/stdlib/Lean/Data/Xml/Parser.c +++ b/stage0/stdlib/Lean/Data/Xml/Parser.c @@ -5564,7 +5564,7 @@ static lean_object* _init_l_Lean_Xml_Parser_XMLdecl___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?>", 2); +x_1 = lean_mk_string_from_bytes("\?>", 2); return x_1; } } @@ -5572,7 +5572,7 @@ static lean_object* _init_l_Lean_Xml_Parser_XMLdecl___closed__2() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(".isNone -- See comment at `TagDeclarationExtension`\n ", 86); +x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor\? declName |>.isNone -- See comment at `TagDeclarationExtension`\n ", 86); return x_1; } } @@ -7367,7 +7367,7 @@ static lean_object* _init_l_Lean_MapDeclarationExtension_insert___rarg___closed_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor? declName |>.isNone -- See comment at `MapDeclarationExtension`\n ", 86); +x_1 = lean_mk_string_from_bytes("env.getModuleIdxFor\? declName |>.isNone -- See comment at `MapDeclarationExtension`\n ", 86); return x_1; } } diff --git a/stage0/stdlib/Lean/Level.c b/stage0/stdlib/Lean/Level.c index af6b4b58da..c77da2f88d 100644 --- a/stage0/stdlib/Lean/Level.c +++ b/stage0/stdlib/Lean/Level.c @@ -4764,7 +4764,7 @@ static lean_object* _init_l_Lean_Level_PP_toResult___closed__4() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?u", 2); +x_1 = lean_mk_string_from_bytes("\?u", 2); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/Basic.c b/stage0/stdlib/Lean/Meta/Basic.c index 859d7ecbaf..013d6d5d44 100644 --- a/stage0/stdlib/Lean/Meta/Basic.c +++ b/stage0/stdlib/Lean/Meta/Basic.c @@ -7746,7 +7746,7 @@ static lean_object* _init_l_Lean_MVarId_getDecl___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("unknown metavariable '?", 23); +x_1 = lean_mk_string_from_bytes("unknown metavariable '\?", 23); return x_1; } } @@ -8717,7 +8717,7 @@ static lean_object* _init_l_Lean_LMVarId_getLevel___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("unknown universe metavariable '?", 32); +x_1 = lean_mk_string_from_bytes("unknown universe metavariable '\?", 32); return x_1; } } @@ -30879,7 +30879,7 @@ static lean_object* _init_l___private_Lean_Meta_Basic_0__Lean_Meta_mkLeveErrorMe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/CasesOn.c b/stage0/stdlib/Lean/Meta/CasesOn.c index 010b9a6355..2dc195e5f7 100644 --- a/stage0/stdlib/Lean/Meta/CasesOn.c +++ b/stage0/stdlib/Lean/Meta/CasesOn.c @@ -157,7 +157,7 @@ static lean_object* _init_l_List_forIn_loop___at_Lean_Meta_toCasesOnApp_x3f___sp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Meta.toCasesOnApp?", 23); +x_1 = lean_mk_string_from_bytes("Lean.Meta.toCasesOnApp\?", 23); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/CongrTheorems.c b/stage0/stdlib/Lean/Meta/CongrTheorems.c index 72e98f6750..0961449fdc 100644 --- a/stage0/stdlib/Lean/Meta/CongrTheorems.c +++ b/stage0/stdlib/Lean/Meta/CongrTheorems.c @@ -7426,7 +7426,7 @@ static lean_object* _init_l_Lean_Meta_mkCongrSimpCore_x3f_mkProof_go___lambda__4 _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore?.mkProof.go", 37); +x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore\?.mkProof.go", 37); return x_1; } } @@ -8181,7 +8181,7 @@ static lean_object* _init_l_Lean_Meta_mkCongrSimpCore_x3f_mk_x3f_go___closed__1( _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore?.mk?.go", 33); +x_1 = lean_mk_string_from_bytes("Lean.Meta.mkCongrSimpCore\?.mk\?.go", 33); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/DecLevel.c b/stage0/stdlib/Lean/Meta/DecLevel.c index 49bf43e1e2..220930a2f5 100644 --- a/stage0/stdlib/Lean/Meta/DecLevel.c +++ b/stage0/stdlib/Lean/Meta/DecLevel.c @@ -509,7 +509,7 @@ static lean_object* _init_l___private_Lean_Meta_DecLevel_0__Lean_Meta_decAux_x3f _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("decAux?, ", 9); +x_1 = lean_mk_string_from_bytes("decAux\?, ", 9); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/ExprDefEq.c b/stage0/stdlib/Lean/Meta/ExprDefEq.c index f00dab5ae5..656a997f50 100644 --- a/stage0/stdlib/Lean/Meta/ExprDefEq.c +++ b/stage0/stdlib/Lean/Meta/ExprDefEq.c @@ -1503,7 +1503,7 @@ static lean_object* _init_l_Std_Range_forIn_loop___at___private_Lean_Meta_ExprDe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/InferType.c b/stage0/stdlib/Lean/Meta/InferType.c index ee2d230ca2..2ca508beca 100644 --- a/stage0/stdlib/Lean/Meta/InferType.c +++ b/stage0/stdlib/Lean/Meta/InferType.c @@ -5041,7 +5041,7 @@ static lean_object* _init_l_Lean_Meta_throwUnknownMVar___rarg___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("unknown metavariable '?", 23); +x_1 = lean_mk_string_from_bytes("unknown metavariable '\?", 23); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/LevelDefEq.c b/stage0/stdlib/Lean/Meta/LevelDefEq.c index 7b68b3e457..46a49a1dcc 100644 --- a/stage0/stdlib/Lean/Meta/LevelDefEq.c +++ b/stage0/stdlib/Lean/Meta/LevelDefEq.c @@ -532,7 +532,7 @@ static lean_object* _init_l___private_Lean_Meta_LevelDefEq_0__Lean_Meta_postpone _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/Match/Match.c b/stage0/stdlib/Lean/Meta/Match/Match.c index a277239d64..5c67b73d6d 100644 --- a/stage0/stdlib/Lean/Meta/Match/Match.c +++ b/stage0/stdlib/Lean/Meta/Match/Match.c @@ -6272,7 +6272,7 @@ static lean_object* _init_l___private_Lean_Meta_Match_Match_0__Lean_Meta_Match_s _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } @@ -9402,7 +9402,7 @@ static lean_object* _init_l___private_Lean_Meta_Match_Match_0__Lean_Meta_Match_e _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("expandVarIntoCtor? ", 19); +x_1 = lean_mk_string_from_bytes("expandVarIntoCtor\? ", 19); return x_1; } } @@ -9873,7 +9873,7 @@ static lean_object* _init_l___private_Lean_Meta_Match_Match_0__Lean_Meta_Match_e _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("expandVarIntoCtor? fvarId: ", 27); +x_1 = lean_mk_string_from_bytes("expandVarIntoCtor\? fvarId: ", 27); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/SizeOf.c b/stage0/stdlib/Lean/Meta/SizeOf.c index 7673cf2e40..b417395dfc 100644 --- a/stage0/stdlib/Lean/Meta/SizeOf.c +++ b/stage0/stdlib/Lean/Meta/SizeOf.c @@ -8632,7 +8632,7 @@ static lean_object* _init_l___private_Lean_Meta_SizeOf_0__Lean_Meta_SizeOfSpecNe _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c b/stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c index e91b069378..9a1642f30e 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c +++ b/stage0/stdlib/Lean/Meta/Tactic/ElimInfo.c @@ -691,7 +691,7 @@ static lean_object* _init_l___private_Lean_Meta_Tactic_ElimInfo_0__Lean_Meta_rep _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("declName?", 9); +x_1 = lean_mk_string_from_bytes("declName\?", 9); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c index d8c768bf7f..5189ec7e01 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c @@ -28846,7 +28846,7 @@ static lean_object* _init_l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simp_tryA _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.simp.tryAutoCongrTheorem?", 40); +x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.simp.tryAutoCongrTheorem\?", 40); return x_1; } } @@ -50443,7 +50443,7 @@ static lean_object* _init_l_Lean_Meta_Simp_dischargeEqnThmHypothesis_x3f___close _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.dischargeEqnThmHypothesis?", 41); +x_1 = lean_mk_string_from_bytes("Lean.Meta.Simp.dischargeEqnThmHypothesis\?", 41); return x_1; } } @@ -51699,7 +51699,7 @@ static lean_object* _init_l_Lean_Meta_Simp_DefaultMethods_discharge_x3f___lambda _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(">> discharge?: ", 15); +x_1 = lean_mk_string_from_bytes(">> discharge\?: ", 15); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c index 89fded0a6f..538e4e303d 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c @@ -19184,7 +19184,7 @@ static lean_object* _init_l_Lean_Meta___aux__Lean__Meta__Tactic__Simp__SimpTheor _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("stx_?", 5); +x_1 = lean_mk_string_from_bytes("stx_\?", 5); return x_1; } } @@ -19436,7 +19436,7 @@ static lean_object* _init_l_Lean_Meta___aux__Lean__Meta__Tactic__Simp__SimpTheor _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/SplitIf.c b/stage0/stdlib/Lean/Meta/Tactic/SplitIf.c index 0edf7bbc78..2664742717 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/SplitIf.c +++ b/stage0/stdlib/Lean/Meta/Tactic/SplitIf.c @@ -3048,7 +3048,7 @@ static lean_object* _init_l_Lean_Meta_SplitIf_discharge_x3f___closed__5() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("discharge? ", 11); +x_1 = lean_mk_string_from_bytes("discharge\? ", 11); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/UnificationHint.c b/stage0/stdlib/Lean/Meta/UnificationHint.c index 42a0f1076a..d8b218edd0 100644 --- a/stage0/stdlib/Lean/Meta/UnificationHint.c +++ b/stage0/stdlib/Lean/Meta/UnificationHint.c @@ -8476,7 +8476,7 @@ static lean_object* _init_l_Lean_Meta_tryUnificationHints_tryCandidate___lambda_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" =?= ", 5); +x_1 = lean_mk_string_from_bytes(" =\?= ", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Meta/WHNF.c b/stage0/stdlib/Lean/Meta/WHNF.c index cf1f0f7178..00bbea2c97 100644 --- a/stage0/stdlib/Lean/Meta/WHNF.c +++ b/stage0/stdlib/Lean/Meta/WHNF.c @@ -32369,7 +32369,7 @@ static lean_object* _init_l___private_Lean_Meta_WHNF_0__Lean_Meta_cached_x3f___c _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("_private.Lean.Meta.WHNF.0.Lean.Meta.cached?", 43); +x_1 = lean_mk_string_from_bytes("_private.Lean.Meta.WHNF.0.Lean.Meta.cached\?", 43); return x_1; } } diff --git a/stage0/stdlib/Lean/Parser/Extra.c b/stage0/stdlib/Lean/Parser/Extra.c index 0ad06c7a01..9f34260740 100644 --- a/stage0/stdlib/Lean/Parser/Extra.c +++ b/stage0/stdlib/Lean/Parser/Extra.c @@ -2903,7 +2903,7 @@ static lean_object* _init_l_Lean_Parser_optional_formatter___closed__3() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -7161,7 +7161,7 @@ static lean_object* _init_l_Lean_Parser___aux__Lean__Parser__Extra______macroRul _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("kind?", 5); +x_1 = lean_mk_string_from_bytes("kind\?", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Parser/Term.c b/stage0/stdlib/Lean/Parser/Term.c index 407d39780a..5a7e773463 100644 --- a/stage0/stdlib/Lean/Parser/Term.c +++ b/stage0/stdlib/Lean/Parser/Term.c @@ -11143,7 +11143,7 @@ static lean_object* _init_l_Lean_Parser_Term_syntheticHole___closed__4() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -11232,7 +11232,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_syntheticHole_docStrin _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Parses a \"synthetic hole\", that is, `?foo` or `?_`.\nThis syntax is used to construct named metavariables. ", 106); +x_1 = lean_mk_string_from_bytes("Parses a \"synthetic hole\", that is, `\?foo` or `\?_`.\nThis syntax is used to construct named metavariables. ", 106); return x_1; } } @@ -46788,7 +46788,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_withDeclName_docString _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("* `with_decl_name% id e` elaborates `e` in a context while changing the effective\n declaration name to `id`.\n* `with_decl_name% ?id e` does the same, but resolves `id` as a new definition name\n (appending the current namespaces).\n", 232); +x_1 = lean_mk_string_from_bytes("* `with_decl_name% id e` elaborates `e` in a context while changing the effective\n declaration name to `id`.\n* `with_decl_name% \?id e` does the same, but resolves `id` as a new definition name\n (appending the current namespaces).\n", 232); return x_1; } } diff --git a/stage0/stdlib/Lean/Parser/Types.c b/stage0/stdlib/Lean/Parser/Types.c index 092177b551..050a818f2c 100644 --- a/stage0/stdlib/Lean/Parser/Types.c +++ b/stage0/stdlib/Lean/Parser/Types.c @@ -4159,7 +4159,7 @@ static lean_object* _init_l_Lean_Parser_FirstTokens_toStr___closed__3() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } diff --git a/stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c b/stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c index f866009679..c85d0cdb3b 100644 --- a/stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c +++ b/stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c @@ -2058,7 +2058,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Delaborator_delabMVar___closed__5 _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } diff --git a/stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c b/stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c index 5df69dac4e..af41776a0c 100644 --- a/stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c +++ b/stage0/stdlib/Lean/PrettyPrinter/Parenthesizer.c @@ -4685,7 +4685,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Parenthesizer_maybeParenthesize__ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("visited a syntax tree without precedences?!", 43); +x_1 = lean_mk_string_from_bytes("visited a syntax tree without precedences\?!", 43); return x_1; } } @@ -4719,7 +4719,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Parenthesizer_maybeParenthesize__ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" >? ", 4); +x_1 = lean_mk_string_from_bytes(" >\? ", 4); return x_1; } } @@ -4811,7 +4811,7 @@ static lean_object* _init_l_Lean_PrettyPrinter_Parenthesizer_maybeParenthesize__ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes(" <=? ", 5); +x_1 = lean_mk_string_from_bytes(" <=\? ", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/ResolveName.c b/stage0/stdlib/Lean/ResolveName.c index 76ff34e0af..8d33f3dba8 100644 --- a/stage0/stdlib/Lean/ResolveName.c +++ b/stage0/stdlib/Lean/ResolveName.c @@ -3319,7 +3319,7 @@ static lean_object* _init_l_Lean_ResolveName_resolveNamespaceUsingScope_x3f___cl _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("Lean.ResolveName.resolveNamespaceUsingScope?", 44); +x_1 = lean_mk_string_from_bytes("Lean.ResolveName.resolveNamespaceUsingScope\?", 44); return x_1; } } diff --git a/stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c b/stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c index 8cd65e6715..f9a563f423 100644 --- a/stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c +++ b/stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c @@ -3936,7 +3936,7 @@ static lean_object* _init_l___private_Lean_Server_FileWorker_WidgetRequests_0__L _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("lineRange?", 10); +x_1 = lean_mk_string_from_bytes("lineRange\?", 10); return x_1; } } diff --git a/stage0/stdlib/Lean/Server/Requests.c b/stage0/stdlib/Lean/Server/Requests.c index 02164e20b1..76c4a236c6 100644 --- a/stage0/stdlib/Lean/Server/Requests.c +++ b/stage0/stdlib/Lean/Server/Requests.c @@ -3899,7 +3899,7 @@ static lean_object* _init_l_Lean_Server_handleLspRequest___closed__2() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("' routed through watchdog but unknown in worker; are both using the same plugins?", 81); +x_1 = lean_mk_string_from_bytes("' routed through watchdog but unknown in worker; are both using the same plugins\?", 81); return x_1; } } diff --git a/stage0/stdlib/Lean/Server/Rpc/Deriving.c b/stage0/stdlib/Lean/Server/Rpc/Deriving.c index 6d6fd2bd11..c7fefea4c6 100644 --- a/stage0/stdlib/Lean/Server/Rpc/Deriving.c +++ b/stage0/stdlib/Lean/Server/Rpc/Deriving.c @@ -460,7 +460,7 @@ static lean_object* _init_l_Lean_Server_RpcEncodable_isOptField___closed__1() { _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("?", 1); +x_1 = lean_mk_string_from_bytes("\?", 1); return x_1; } } @@ -2943,7 +2943,7 @@ static lean_object* _init_l___private_Lean_Server_Rpc_Deriving_0__Lean_Server_Rp _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("fromJson?", 9); +x_1 = lean_mk_string_from_bytes("fromJson\?", 9); return x_1; } } diff --git a/stage0/stdlib/Lean/Structure.c b/stage0/stdlib/Lean/Structure.c index 4dc673a7cd..366449b4ed 100644 --- a/stage0/stdlib/Lean/Structure.c +++ b/stage0/stdlib/Lean/Structure.c @@ -470,7 +470,7 @@ static lean_object* _init_l___private_Lean_Structure_0__Lean_reprStructureFieldI _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("subobject?", 10); +x_1 = lean_mk_string_from_bytes("subobject\?", 10); return x_1; } } @@ -515,7 +515,7 @@ static lean_object* _init_l___private_Lean_Structure_0__Lean_reprStructureFieldI _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("autoParam?", 10); +x_1 = lean_mk_string_from_bytes("autoParam\?", 10); return x_1; } } diff --git a/stage0/stdlib/Lean/Widget/InteractiveCode.c b/stage0/stdlib/Lean/Widget/InteractiveCode.c index 3da0cba924..0c403a9d11 100644 --- a/stage0/stdlib/Lean/Widget/InteractiveCode.c +++ b/stage0/stdlib/Lean/Widget/InteractiveCode.c @@ -1275,7 +1275,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveCode_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("diffStatus?", 11); +x_1 = lean_mk_string_from_bytes("diffStatus\?", 11); return x_1; } } diff --git a/stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c b/stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c index de3693d41e..3e65783afa 100644 --- a/stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c +++ b/stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c @@ -4320,7 +4320,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("fullRange?", 10); +x_1 = lean_mk_string_from_bytes("fullRange\?", 10); return x_1; } } @@ -4376,7 +4376,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("severity?", 9); +x_1 = lean_mk_string_from_bytes("severity\?", 9); return x_1; } } @@ -4432,7 +4432,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("code?", 5); +x_1 = lean_mk_string_from_bytes("code\?", 5); return x_1; } } @@ -4488,7 +4488,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("source?", 7); +x_1 = lean_mk_string_from_bytes("source\?", 7); return x_1; } } @@ -4592,7 +4592,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("tags?", 5); +x_1 = lean_mk_string_from_bytes("tags\?", 5); return x_1; } } @@ -4648,7 +4648,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("relatedInformation?", 19); +x_1 = lean_mk_string_from_bytes("relatedInformation\?", 19); return x_1; } } @@ -4704,7 +4704,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_ _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("data?", 5); +x_1 = lean_mk_string_from_bytes("data\?", 5); return x_1; } } diff --git a/stage0/stdlib/Lean/Widget/InteractiveGoal.c b/stage0/stdlib/Lean/Widget/InteractiveGoal.c index 7c5fce4e28..10349a3a44 100644 --- a/stage0/stdlib/Lean/Widget/InteractiveGoal.c +++ b/stage0/stdlib/Lean/Widget/InteractiveGoal.c @@ -827,7 +827,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("val?", 4); +x_1 = lean_mk_string_from_bytes("val\?", 4); return x_1; } } @@ -883,7 +883,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("isInstance?", 11); +x_1 = lean_mk_string_from_bytes("isInstance\?", 11); return x_1; } } @@ -939,7 +939,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("isType?", 7); +x_1 = lean_mk_string_from_bytes("isType\?", 7); return x_1; } } @@ -995,7 +995,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("isInserted?", 11); +x_1 = lean_mk_string_from_bytes("isInserted\?", 11); return x_1; } } @@ -1051,7 +1051,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("isRemoved?", 10); +x_1 = lean_mk_string_from_bytes("isRemoved\?", 10); return x_1; } } @@ -7004,7 +7004,7 @@ static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("userName?", 9); +x_1 = lean_mk_string_from_bytes("userName\?", 9); return x_1; } } diff --git a/stage0/stdlib/Lean/Widget/UserWidget.c b/stage0/stdlib/Lean/Widget/UserWidget.c index e669e9a62a..86b29038bb 100644 --- a/stage0/stdlib/Lean/Widget/UserWidget.c +++ b/stage0/stdlib/Lean/Widget/UserWidget.c @@ -5941,7 +5941,7 @@ static lean_object* _init_l___private_Lean_Widget_UserWidget_0__Lean_Widget_from _start: { lean_object* x_1; -x_1 = lean_mk_string_from_bytes("range?", 6); +x_1 = lean_mk_string_from_bytes("range\?", 6); return x_1; } }