max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update stage0

Browse source
This commit is contained in:
Leonardo de Moura 2022-05-28 16:20:23 -07:00
parent 40fc64480a
commit 6dc728cc60
21 changed files with 6436 additions and 4097 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
stage0/src/Init/Data/Array.lean generated
View file

@ -10,3 +10,4 @@ import Init.Data.Array.BinSearch
import Init.Data.Array.InsertionSort
import Init.Data.Array.DecidableEq
import Init.Data.Array.Mem
import Init.Data.Array.BasicAux

38
stage0/src/Init/Data/Array/BasicAux.lean generated Normal file
View file

@ -0,0 +1,38 @@
/-
Copyright (c) 2022 Microsoft Corporation. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Leonardo de Moura
-/
prelude
import Init.Data.Array.Basic
import Init.Data.Nat.Linear
import Init.NotationExtra
theorem Array.of_push_eq_push {as bs : Array α} (h : as.push a = bs.push b) : as = bs ∧ a = b := by
simp [push] at h
have ⟨h₁, h₂⟩ := List.of_concat_eq_concat h
cases as; cases bs
simp_all
private theorem List.size_toArrayAux (as : List α) (bs : Array α) : (as.toArrayAux bs).size = as.length + bs.size := by
induction as generalizing bs with
| nil => simp [toArrayAux]
| cons a as ih => simp_arith [toArrayAux, *]
private theorem List.of_toArrayAux_eq_toArrayAux {as bs : List α} {cs ds : Array α} (h : as.toArrayAux cs = bs.toArrayAux ds) (hlen : cs.size = ds.size) : as = bs ∧ cs = ds := by
match as, bs with
| [], [] => simp [toArrayAux] at h; simp [h]
| a::as, [] => simp [toArrayAux] at h; rw [← h] at hlen; simp_arith [size_toArrayAux] at hlen
| [], b::bs => simp [toArrayAux] at h; rw [h] at hlen; simp_arith [size_toArrayAux] at hlen
| a::as, b::bs =>
simp [toArrayAux] at h
have : (cs.push a).size = (ds.push b).size := by simp [*]
have ⟨ih₁, ih₂⟩ := of_toArrayAux_eq_toArrayAux h this
simp [ih₁]
have := Array.of_push_eq_push ih₂
simp [this]
@[simp] theorem List.toArray_eq_toArray_eq (as bs : List α) : (as.toArray = bs.toArray) = (as = bs) := by
apply propext; apply Iff.intro
· intro h; simp [toArray] at h; have := of_toArrayAux_eq_toArrayAux h rfl; exact this.1
· intro h; rw [h]

9
stage0/src/Init/Data/List/Basic.lean generated
View file

@ -531,4 +531,13 @@ instance [BEq α] [LawfulBEq α] : LawfulBEq (List α) where
| nil => rfl
| cons a as ih => simp [BEq.beq, List.beq, LawfulBEq.rfl]; exact ih
theorem of_concat_eq_concat {as bs : List α} {a b : α} (h : as.concat a = bs.concat b) : as = bs ∧ a = b := by
match as, bs with
| [], [] => simp [concat] at h; simp [h]
| [_], [] => simp [concat] at h
| _::_::_, [] => simp [concat] at h
| [], [_] => simp [concat] at h
| [], _::_::_ => simp [concat] at h
| _::_, _::_ => simp [concat] at h; simp [h]; apply of_concat_eq_concat h.2
end List

5
stage0/src/Init/Tactics.lean generated
View file

@ -45,6 +45,11 @@ syntax (name := clear) "clear " (colGt term:max)+ : tactic
`subst x...` substitutes each `x` with `e` in the goal if there is a hypothesis of type `x = e` or `e = x`.
If `x` is itself a hypothesis of type `y = e` or `e = y`, `y` is substituted instead. -/
syntax (name := subst) "subst " (colGt term:max)+ : tactic
/--
Apply `subst` to all hypotheses of the form `h : x = t` or `h : t = x`.
-/
syntax (name := substVars) "subst_vars" : tactic
/--
`assumption` tries to solve the main goal using a hypothesis of compatible type, or else fails.
Note also the `‹t›` term notation, which is a shorthand for `show t by assumption`. -/

22
stage0/src/Lean/Elab/PreDefinition/WF/PackDomain.lean generated
View file

@ -131,14 +131,20 @@ where
visit (e : Expr) : MonadCacheT ExprStructEq Expr MetaM Expr := do
checkCache { val := e : ExprStructEq } fun _ => Meta.withIncRecDepth do
match e with
| Expr.lam .. => lambdaTelescope e fun xs b => do mkLambdaFVars (usedLetOnly := false) xs (← visit b)
| Expr.letE n t v b _ => withLetDecl n t (← visit v) fun x => do mkLambdaFVars (usedLetOnly := false) #[x] (← visit (b.instantiate1 x))
| Expr.forallE .. => forallTelescope e fun xs b => do mkForallFVars (usedLetOnly := false) xs (← visit b)
| Expr.proj n i s .. => return mkProj n i (← visit s)
| Expr.mdata d b _ => return mkMData d (← visit b)
| Expr.app .. => visitApp e
| Expr.const .. => visitApp e
| e => return e,
| Expr.lam n d b c =>
withLocalDecl n c.binderInfo (← visit d) fun x => do
mkLambdaFVars (usedLetOnly := false) #[x] (← visit (b.instantiate1 x))
| Expr.forallE n d b c =>
withLocalDecl n c.binderInfo (← visit d) fun x => do
mkForallFVars (usedLetOnly := false) #[x] (← visit (b.instantiate1 x))
| Expr.letE n t v b c =>
withLetDecl n (← visit t) (← visit v) fun x => do
mkLambdaFVars (usedLetOnly := false) #[x] (← visit (b.instantiate1 x))
| Expr.proj n i s .. => return mkProj n i (← visit s)
| Expr.mdata d b _ => return mkMData d (← visit b)
| Expr.app .. => visitApp e
| Expr.const .. => visitApp e
| e => return e,
visitApp (e : Expr) : MonadCacheT ExprStructEq Expr MetaM Expr := e.withApp fun f args => do
let args ← args.mapM visit
if let some funIdx := isAppOfPreDef? f then

4
stage0/src/Lean/Elab/Structure.lean generated
View file

@ -305,6 +305,9 @@ private def getFieldType (infos : Array StructFieldInfo) (parentType : Expr) (fi
let projType ← Meta.transform projType (post := visit)
if projType.containsFVar parent.fvarId! then
throwError "unsupported dependent field in {fieldName} : {projType}"
if let some info := getFieldInfo? (← getEnv) (← getStructureName parentType) fieldName then
if let some autoParamExpr := info.autoParam? then
return (← mkAppM ``autoParam #[projType, autoParamExpr])
return projType
private def toVisibility (fieldInfo : StructureFieldInfo) : CoreM Visibility := do
@ -704,6 +707,7 @@ private def registerStructure (structName : Name) (infos : Array StructFieldInfo
fieldName := info.name
projFn := info.declName
binderInfo := (← getFVarLocalDecl info.fvar).binderInfo
autoParam? := (← inferType info.fvar).getAutoParamTactic?
subobject? :=
if info.kind == StructFieldKind.subobject then
match (← getEnv).find? info.declName with

3
stage0/src/Lean/Elab/Tactic/BuiltinTactic.lean generated
View file

@ -257,6 +257,9 @@ def forEachVar (hs : Array Syntax) (tac : MVarId → FVarId → MetaM MVarId) :
| `(tactic| subst $hs*) => forEachVar hs Meta.subst
| _ => throwUnsupportedSyntax
@[builtinTactic Lean.Parser.Tactic.substVars] def evalSubstVars : Tactic := fun stx =>
liftMetaTactic fun mvarId => return [← substVars mvarId]
/--
Searches for a metavariable `g` s.t. `tag` is its exact name.
If none then searches for a metavariable `g` s.t. `tag` is a suffix of its name.

10
stage0/src/Lean/Meta/Match/MatchEqs.lean generated
View file

@ -205,6 +205,8 @@ private def processNextEq : M Bool := do
let eqType ← inferType (mkFVar eq)
-- See `substRHS`. Recall that if `rhs` is a variable then if must be in `s.xs`
if let some (_, lhs, rhs) ← matchEq? eqType then
if (← isDefEq lhs rhs) then
return true
if rhs.isFVar then
substRHS eq rhs.fvarId!
return true
@ -259,8 +261,12 @@ private partial def simpH? (h : Expr) (numEqs : Nat) : MetaM (Option Expr) := wi
let (r, s) ← SimpH.go |>.run { mvarId, xs := xs.toList, eqs := eqs.toList }
if r then
withMVarContext s.mvarId do
let vars := (s.xs ++ s.eqsNew.reverse).toArray.map mkFVar
let r ← mkForallFVars vars (mkConst ``False)
let eqs := s.eqsNew.reverse.toArray.map mkFVar
let mut r ← mkForallFVars eqs (mkConst ``False)
/- We only include variables in `xs` if there is a dependency. -/
for x in s.xs.reverse do
if (← dependsOn r x) then
r ← mkForallFVars #[mkFVar x] r
trace[Meta.Match.matchEqs] "simplified hypothesis{indentExpr r}"
check r
return some r

6
stage0/src/Lean/Meta/Tactic/Simp/SimpTheorems.lean generated
View file

@ -411,7 +411,11 @@ def SimpTheoremsArray.isErased (thmsArray : SimpTheoremsArray) (thmId : Name) :
def SimpTheoremsArray.isDeclToUnfold (thmsArray : SimpTheoremsArray) (declName : Name) : Bool :=
thmsArray.any fun thms => thms.isDeclToUnfold declName
macro "register_simp_attr" id:ident descr:str : command => `(initialize ext : SimpExtension ← registerSimpAttr $(quote id.getId) $descr)
macro "register_simp_attr" id:ident descr:str : command => do
let str := id.getId.toString
let idParser := mkIdentFrom id (`Parser.Attr ++ id.getId)
`(initialize ext : SimpExtension ← registerSimpAttr $(quote id.getId) $descr
syntax (name := $idParser:ident) $(quote str):str (Parser.Tactic.simpPre <|> Parser.Tactic.simpPost)? (prio)? : attr)
end Meta

9
stage0/src/Lean/ParserCompiler.lean generated
View file

@ -58,12 +58,11 @@ variable {α} (ctx : Context α) (builtin : Bool) (force : Bool) in
partial def compileParserExpr (e : Expr) : MetaM Expr := do
let e ← whnfCore e
match e with
| e@(Expr.lam _ _ _ _) => lambdaLetTelescope e fun xs b => compileParserExpr b >>= mkLambdaFVars xs
| e@(Expr.fvar _ _) => pure e
| .lam .. => lambdaLetTelescope e fun xs b => compileParserExpr b >>= mkLambdaFVars xs
| .fvar .. => return e
| _ => do
let fn := e.getAppFn
let Expr.const c _ _ ← pure fn
| throwError "call of unknown parser at '{e}'"
let .const c .. := fn | throwError "call of unknown parser at '{e}'"
let args := e.getAppArgs
-- call the translated `p` with (a prefix of) the arguments of `e`, recursing for arguments
-- of type `ty` (i.e. formerly `Parser`)
@ -79,7 +78,7 @@ partial def compileParserExpr (e : Expr) : MetaM Expr := do
let resultTy ← forallTelescope paramTy fun _ b => pure b
let arg ← if resultTy.isConstOf ctx.tyName then compileParserExpr arg else pure arg
p := mkApp p arg
pure p
return p
let env ← getEnv
match ctx.combinatorAttr.getDeclFor? env c with
| some p => mkCall p

6
stage0/stdlib/Init/Data/Array.c generated
View file

@ -1,6 +1,6 @@
// Lean compiler output
// Module: Init.Data.Array
// Imports: Init.Data.Array.Basic Init.Data.Array.QSort Init.Data.Array.BinSearch Init.Data.Array.InsertionSort Init.Data.Array.DecidableEq Init.Data.Array.Mem
// Imports: Init.Data.Array.Basic Init.Data.Array.QSort Init.Data.Array.BinSearch Init.Data.Array.InsertionSort Init.Data.Array.DecidableEq Init.Data.Array.Mem Init.Data.Array.BasicAux
#include <lean/lean.h>
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
@ -19,6 +19,7 @@ lean_object* initialize_Init_Data_Array_BinSearch(uint8_t builtin, lean_object*)
lean_object* initialize_Init_Data_Array_InsertionSort(uint8_t builtin, lean_object*);
lean_object* initialize_Init_Data_Array_DecidableEq(uint8_t builtin, lean_object*);
lean_object* initialize_Init_Data_Array_Mem(uint8_t builtin, lean_object*);
lean_object* initialize_Init_Data_Array_BasicAux(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Init_Data_Array(uint8_t builtin, lean_object* w) {
lean_object * res;
@ -42,6 +43,9 @@ lean_dec_ref(res);
res = initialize_Init_Data_Array_Mem(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Init_Data_Array_BasicAux(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus

71
stage0/stdlib/Init/Data/Array/BasicAux.c generated Normal file
View file

@ -0,0 +1,71 @@
// Lean compiler output
// Module: Init.Data.Array.BasicAux
// Imports: Init.Data.Array.Basic Init.Data.Nat.Linear Init.NotationExtra
#include <lean/lean.h>
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
#pragma clang diagnostic ignored "-Wunused-label"
#elif defined(__GNUC__) && !defined(__CLANG__)
#pragma GCC diagnostic ignored "-Wunused-parameter"
#pragma GCC diagnostic ignored "-Wunused-label"
#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
#endif
#ifdef __cplusplus
extern "C" {
#endif
LEAN_EXPORT lean_object* l___private_Init_Data_Array_BasicAux_0__List_toArrayAux_match__1_splitter(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Data_Array_BasicAux_0__List_toArrayAux_match__1_splitter___rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Init_Data_Array_BasicAux_0__List_toArrayAux_match__1_splitter___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
if (lean_obj_tag(x_1) == 0)
{
lean_object* x_5;
lean_dec(x_4);
x_5 = lean_apply_1(x_3, x_2);
return x_5;
}
else
{
lean_object* x_6; lean_object* x_7; lean_object* x_8;
lean_dec(x_3);
x_6 = lean_ctor_get(x_1, 0);
lean_inc(x_6);
x_7 = lean_ctor_get(x_1, 1);
lean_inc(x_7);
lean_dec(x_1);
x_8 = lean_apply_3(x_4, x_6, x_7, x_2);
return x_8;
}
}
}
LEAN_EXPORT lean_object* l___private_Init_Data_Array_BasicAux_0__List_toArrayAux_match__1_splitter(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3;
x_3 = lean_alloc_closure((void*)(l___private_Init_Data_Array_BasicAux_0__List_toArrayAux_match__1_splitter___rarg), 4, 0);
return x_3;
}
}
lean_object* initialize_Init_Data_Array_Basic(uint8_t builtin, lean_object*);
lean_object* initialize_Init_Data_Nat_Linear(uint8_t builtin, lean_object*);
lean_object* initialize_Init_NotationExtra(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Init_Data_Array_BasicAux(uint8_t builtin, lean_object* w) {
lean_object * res;
if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_initialized = true;
res = initialize_Init_Data_Array_Basic(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Init_Data_Nat_Linear(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Init_NotationExtra(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus
}
#endif

78
stage0/stdlib/Init/Tactics.c generated
View file

@ -159,6 +159,7 @@ static lean_object* l_Lean_Parser_Tactic_simp___closed__11;
static lean_object* l_Lean_Parser_Tactic_change___closed__4;
static lean_object* l_Lean_Parser_Tactic_failIfSuccess___closed__2;
static lean_object* l_Lean_Parser_Tactic_tacticUnhygienic_____closed__6;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_substVars;
static lean_object* l_Lean_Parser_Tactic_simp___closed__19;
static lean_object* l_Lean_Parser_Tactic_skip___closed__2;
static lean_object* l_Lean_Parser_Tactic_tacticLet_____closed__8;
@ -489,6 +490,7 @@ static lean_object* l_Lean_Parser_Tactic_rotateLeft___closed__6;
static lean_object* l_Lean_Parser_Tactic_config___closed__10;
static lean_object* l_Lean_Parser_Tactic___aux__Init__Tactics______macroRules__Lean__Parser__Tactic__tacticHave_____x3a_x3d____1___closed__4;
static lean_object* l_Lean_Parser_Tactic___aux__Init__Tactics______macroRules__Lean__Parser__Tactic__tacticInfer__instance__1___closed__5;
static lean_object* l_Lean_Parser_Tactic_substVars___closed__5;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic___aux__Init__Tactics______macroRules__Lean__Parser__Tactic__tacticRfl__1(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Parser_Tactic_tacticShow_____closed__2;
static lean_object* l_Lean_Parser_Tactic_revert___closed__6;
@ -745,6 +747,7 @@ static lean_object* l_Lean_Parser_Tactic_inductionAlt___closed__17;
static lean_object* l_Lean_Parser_Tactic_tacticNext_______x3d_x3e_____closed__2;
static lean_object* l_Lean_Parser_Tactic_first___closed__5;
static lean_object* l_Lean_Parser_Tactic___aux__Init__Tactics______macroRules__Lean__Parser__Tactic__tacticNext_______x3d_x3e____1___closed__6;
static lean_object* l_Lean_Parser_Tactic_substVars___closed__3;
static lean_object* l_Lean_Parser_Tactic_tacticNext_______x3d_x3e_____closed__4;
static lean_object* l_Lean_Parser_Tactic_case___closed__1;
static lean_object* l_Lean_Parser_Tactic_tacticHave_____closed__1;
@ -823,6 +826,7 @@ static lean_object* l_Lean_Parser_Tactic_rewriteSeq___closed__5;
static lean_object* l_term_u2039___u203a___closed__9;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_simpPost;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_done;
static lean_object* l_Lean_Parser_Tactic_substVars___closed__1;
static lean_object* l_Lean_Parser_Tactic_withAnnotateState___closed__17;
static lean_object* l_Lean_Parser_Tactic_tacticRfl_x27___closed__2;
static lean_object* l_Lean_Parser_Tactic___aux__Init__Tactics______macroRules__Lean__Parser__Tactic__tacticRefine__lift____1___closed__1;
@ -878,6 +882,7 @@ static lean_object* l_Lean_Parser_Tactic_rwRuleSeq___closed__5;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_withReducible;
static lean_object* l_Lean_Parser_Tactic_inductionAlt___closed__2;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_simpErase;
static lean_object* l_Lean_Parser_Tactic_substVars___closed__4;
static lean_object* l_Lean_Parser_Tactic_induction___closed__8;
static lean_object* l_Lean_Parser_Tactic_rotateRight___closed__2;
static lean_object* l_Lean_Parser_Tactic_simpPost___closed__5;
@ -905,6 +910,7 @@ static lean_object* l_Lean_Parser_Tactic_tactic___x3c_x3b_x3e_____closed__5;
static lean_object* l_Lean_Parser_Tactic_tacticNext_______x3d_x3e_____closed__7;
static lean_object* l_Lean_Parser_Tactic_intros___closed__12;
static lean_object* l_Lean_Parser_Tactic___aux__Init__Tactics______macroRules__Lean__Parser__Tactic__tacticHave_____x3a_x3d____1___closed__7;
static lean_object* l_Lean_Parser_Tactic_substVars___closed__2;
LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_sleep;
static lean_object* l_Lean_Parser_Tactic_tacticSuffices_____closed__5;
static lean_object* l_Lean_Parser_Tactic_change___closed__7;
@ -2122,6 +2128,66 @@ x_1 = l_Lean_Parser_Tactic_subst___closed__6;
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_substVars___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("substVars", 9);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_substVars___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_withAnnotateState___closed__6;
x_2 = l_Lean_Parser_Tactic_substVars___closed__1;
x_3 = lean_name_mk_string(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_substVars___closed__3() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("subst_vars", 10);
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_substVars___closed__4() {
_start:
{
lean_object* x_1; uint8_t x_2; lean_object* x_3;
x_1 = l_Lean_Parser_Tactic_substVars___closed__3;
x_2 = 0;
x_3 = lean_alloc_ctor(6, 1, 1);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set_uint8(x_3, sizeof(void*)*1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_substVars___closed__5() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_1 = l_Lean_Parser_Tactic_substVars___closed__2;
x_2 = lean_unsigned_to_nat(1024u);
x_3 = l_Lean_Parser_Tactic_substVars___closed__4;
x_4 = lean_alloc_ctor(3, 3, 0);
lean_ctor_set(x_4, 0, x_1);
lean_ctor_set(x_4, 1, x_2);
lean_ctor_set(x_4, 2, x_3);
return x_4;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_substVars() {
_start:
{
lean_object* x_1;
x_1 = l_Lean_Parser_Tactic_substVars___closed__5;
return x_1;
}
}
static lean_object* _init_l_Lean_Parser_Tactic_assumption___closed__1() {
_start:
{
@ -17974,6 +18040,18 @@ l_Lean_Parser_Tactic_subst___closed__6 = _init_l_Lean_Parser_Tactic_subst___clos
lean_mark_persistent(l_Lean_Parser_Tactic_subst___closed__6);
l_Lean_Parser_Tactic_subst = _init_l_Lean_Parser_Tactic_subst();
lean_mark_persistent(l_Lean_Parser_Tactic_subst);
l_Lean_Parser_Tactic_substVars___closed__1 = _init_l_Lean_Parser_Tactic_substVars___closed__1();
lean_mark_persistent(l_Lean_Parser_Tactic_substVars___closed__1);
l_Lean_Parser_Tactic_substVars___closed__2 = _init_l_Lean_Parser_Tactic_substVars___closed__2();
lean_mark_persistent(l_Lean_Parser_Tactic_substVars___closed__2);
l_Lean_Parser_Tactic_substVars___closed__3 = _init_l_Lean_Parser_Tactic_substVars___closed__3();
lean_mark_persistent(l_Lean_Parser_Tactic_substVars___closed__3);
l_Lean_Parser_Tactic_substVars___closed__4 = _init_l_Lean_Parser_Tactic_substVars___closed__4();
lean_mark_persistent(l_Lean_Parser_Tactic_substVars___closed__4);
l_Lean_Parser_Tactic_substVars___closed__5 = _init_l_Lean_Parser_Tactic_substVars___closed__5();
lean_mark_persistent(l_Lean_Parser_Tactic_substVars___closed__5);
l_Lean_Parser_Tactic_substVars = _init_l_Lean_Parser_Tactic_substVars();
lean_mark_persistent(l_Lean_Parser_Tactic_substVars);
l_Lean_Parser_Tactic_assumption___closed__1 = _init_l_Lean_Parser_Tactic_assumption___closed__1();
lean_mark_persistent(l_Lean_Parser_Tactic_assumption___closed__1);
l_Lean_Parser_Tactic_assumption___closed__2 = _init_l_Lean_Parser_Tactic_assumption___closed__2();

2284
stage0/stdlib/Lean/Elab/PreDefinition/WF/PackDomain.c generated
View file

File diff suppressed because it is too large Load diff

1334
stage0/stdlib/Lean/Elab/Structure.c generated
View file

File diff suppressed because it is too large Load diff

451
stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c generated
View file

@ -83,6 +83,7 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSleep_declRange___closed
static lean_object* l_Lean_Elab_Tactic_evalIntro___closed__10;
static lean_object* l_Lean_Elab_Tactic_evalIntro___closed__32;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSkip___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__5;
lean_object* l_Lean_Elab_Tactic_SavedState_restore(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_Tactic_evalChoiceAux___closed__1;
lean_object* lean_name_mk_string(lean_object*, lean_object*);
@ -96,6 +97,7 @@ lean_object* lean_array_uget(lean_object*, size_t);
lean_object* lean_io_error_to_string(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalRevert___closed__1;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_renameInaccessibles___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__7;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalChoiceAux___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Array_append___rarg(lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalDbgTrace_declRange___closed__1;
@ -160,6 +162,8 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalIntro_declRange___closed
static lean_object* l___private_Lean_Elab_Tactic_BuiltinTactic_0__Lean_Elab_Tactic_getCaseGoals___closed__1;
static lean_object* l_Lean_Elab_OpenDecl_elabOpenDecl___at_Lean_Elab_Tactic_evalOpen___spec__3___closed__2;
static lean_object* l_Lean_Elab_Tactic_evalIntro___closed__40;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange(lean_object*);
lean_object* l___private_Init_Meta_0__Lean_Syntax_isNatLitAux(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalAllGoals(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_forEachVar(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -252,6 +256,7 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___closed_
static lean_object* l_Lean_Elab_Tactic_evalIntro___closed__16;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Elab_Tactic_renameInaccessibles___spec__10___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Elab_Open_0__Lean_Elab_OpenDecl_elabOpenScoped___at_Lean_Elab_Tactic_evalOpen___spec__19(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars___boxed(lean_object*);
static lean_object* l_Lean_Elab_Tactic_elabSetOption___closed__1;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalManyTacticOptSemi___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalRotateLeft___closed__4;
@ -279,17 +284,20 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSeq1_declRange___closed_
LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Elab_Tactic_elabSetOption___spec__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_resolveGlobalConstCore___at_Lean_Elab_Tactic_evalOpen___spec__9___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalAllGoals_declRange___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalTraceMessage_declRange___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalIntroMatch_declRange___closed__6;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalFailIfSuccess_declRange___closed__7;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalClear___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___closed__2;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalManyTacticOptSemi___spec__1(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_List_forIn_loop___at_Lean_Elab_Tactic_evalAllGoals___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalIntros___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalWithAnnotateState_declRange___closed__4;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalAssumption___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSkip_declRange___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubst_declRange___closed__7;
lean_object* lean_nat_add(lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_elabSetOption_declRange___closed__7;
@ -308,6 +316,7 @@ static lean_object* l_Lean_Elab_OpenDecl_elabOpenDecl___at_Lean_Elab_Tactic_eval
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalRenameInaccessibles_declRange___closed__6;
lean_object* l_Lean_Meta_refl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
extern lean_object* l_Lean_maxRecDepth;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__2;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalClear(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalOpen_declRange___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalIntros___closed__1;
@ -369,6 +378,7 @@ lean_object* lean_array_fget(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalOpen___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_throwUnknownConstant___at_Lean_Elab_Tactic_evalOpen___spec__11___closed__3;
LEAN_EXPORT lean_object* l___private_Lean_Elab_Tactic_BuiltinTactic_0__Lean_Elab_Tactic_getCaseGoals___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__6;
static lean_object* l_Lean_resolveNamespace___at_Lean_Elab_Tactic_evalOpen___spec__5___closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalTraceMessage___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalOpen___closed__1;
@ -405,6 +415,7 @@ static lean_object* l_Lean_Elab_Tactic_evalIntro___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalOpen___closed__4;
lean_object* lean_nat_sub(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalChoice(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__4;
lean_object* l_Lean_Elab_Tactic_focus___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalFirst_loop(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* lean_local_ctx_get(lean_object*, lean_object*);
@ -503,6 +514,7 @@ LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at_Lean_Elab_Tactic_renameInac
static lean_object* l_Lean_Elab_Tactic_evalContradiction___rarg___closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalIntro___closed__1;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalAnyGoals_declRange___closed__6;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalWithAnnotateState___closed__2;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalOpen___spec__26___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalDbgTrace___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -516,6 +528,7 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalAssumption___closed__1;
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalOpen___spec__2___closed__7;
lean_object* lean_st_mk_ref(lean_object*, lean_object*);
static lean_object* l_Lean_throwUnknownConstant___at_Lean_Elab_Tactic_evalOpen___spec__11___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__3;
lean_object* l_Lean_throwError___at___private_Lean_Elab_Tactic_Basic_0__Lean_Elab_Tactic_evalTacticUsing_loop___spec__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalDone___closed__2;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalTraceState_declRange___closed__2;
@ -632,6 +645,7 @@ lean_object* l_Lean_ResolveName_resolveGlobalName(lean_object*, lean_object*, le
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSeq1___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalCase_x27_declRange___closed__4;
LEAN_EXPORT lean_object* l_Lean_Elab_elabSetOption_setOption___at_Lean_Elab_Tactic_elabSetOption___spec__6___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__5;
LEAN_EXPORT lean_object* l_List_erase___at___private_Lean_Elab_Tactic_BuiltinTactic_0__Lean_Elab_Tactic_getCaseGoals___spec__1(lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalIntroMatch_declRange___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalRevert_declRange___closed__7;
@ -651,6 +665,7 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalAssumption___closed__3;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalParen___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalUnknown___closed__4;
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalOpen___spec__24(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars(lean_object*);
size_t lean_usize_of_nat(lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalOpen___spec__2___closed__3;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Elab_Tactic_renameInaccessibles___spec__15(lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -663,6 +678,7 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalRotateLeft___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalUnknown_declRange___closed__3;
lean_object* l_instBEqProd___rarg(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalWithAnnotateState___closed__6;
static lean_object* l_Lean_Elab_Tactic_evalSubstVars___rarg___closed__1;
lean_object* l_Lean_addMacroScope(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_elabSetOption___at_Lean_Elab_Tactic_elabSetOption___spec__1___closed__2;
LEAN_EXPORT lean_object* l_Std_PersistentArray_mapM___at_Lean_Elab_Tactic_renameInaccessibles___spec__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -702,6 +718,7 @@ extern lean_object* l_Lean_groupKind;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalFocus_declRange___closed__3;
static lean_object* l_Lean_Elab_Tactic_evalAnyGoals___closed__2;
lean_object* l_List_filterAux___at_Lean_resolveGlobalConstCore___spec__1(lean_object*, lean_object*);
lean_object* l_Lean_Meta_substVars(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Elab_Tactic_saveState___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalOpen___spec__16(lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalOpen(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -740,6 +757,7 @@ static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalTraceMessage_declRange__
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalParen(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalTraceState___closed__4;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalRotateRight_declRange(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalFocus(lean_object*);
static lean_object* l_Lean_Elab_OpenDecl_elabOpenDecl___at_Lean_Elab_Tactic_evalOpen___spec__3___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___closed__3;
@ -779,6 +797,7 @@ LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalRotateLeft(lean_object*, lean_ob
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalParen_declRange(lean_object*);
LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at_Lean_Elab_Tactic_renameInaccessibles___spec__1___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Elab_Tactic_evalFail___closed__8;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__1;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalClear___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Syntax_getKind(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalParen_declRange___closed__6;
@ -819,6 +838,7 @@ LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Elab_Tactic_renameInac
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSleep___closed__5;
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalTacticSeqBracketed_declRange___closed__2;
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalAnyGoals___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__2;
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Elab_Tactic_evalOpen___spec__2___closed__8;
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalCase_declRange(lean_object*);
static lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubst_declRange___closed__2;
@ -17629,6 +17649,349 @@ x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars___rarg___lambda__1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9) {
_start:
{
lean_object* x_10;
lean_inc(x_8);
lean_inc(x_7);
lean_inc(x_6);
lean_inc(x_5);
lean_inc(x_4);
lean_inc(x_3);
lean_inc(x_2);
lean_inc(x_1);
x_10 = l_Lean_Elab_Tactic_getMainGoal(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9);
if (lean_obj_tag(x_10) == 0)
{
lean_object* x_11; lean_object* x_12; lean_object* x_13;
x_11 = lean_ctor_get(x_10, 0);
lean_inc(x_11);
x_12 = lean_ctor_get(x_10, 1);
lean_inc(x_12);
lean_dec(x_10);
lean_inc(x_8);
lean_inc(x_7);
lean_inc(x_6);
lean_inc(x_5);
x_13 = l_Lean_Meta_substVars(x_11, x_5, x_6, x_7, x_8, x_12);
if (lean_obj_tag(x_13) == 0)
{
lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18;
x_14 = lean_ctor_get(x_13, 0);
lean_inc(x_14);
x_15 = lean_ctor_get(x_13, 1);
lean_inc(x_15);
lean_dec(x_13);
x_16 = lean_box(0);
x_17 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_17, 0, x_14);
lean_ctor_set(x_17, 1, x_16);
x_18 = l_Lean_Elab_Tactic_replaceMainGoal(x_17, x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_15);
if (lean_obj_tag(x_18) == 0)
{
uint8_t x_19;
x_19 = !lean_is_exclusive(x_18);
if (x_19 == 0)
{
lean_object* x_20; lean_object* x_21;
x_20 = lean_ctor_get(x_18, 0);
lean_dec(x_20);
x_21 = lean_box(0);
lean_ctor_set(x_18, 0, x_21);
return x_18;
}
else
{
lean_object* x_22; lean_object* x_23; lean_object* x_24;
x_22 = lean_ctor_get(x_18, 1);
lean_inc(x_22);
lean_dec(x_18);
x_23 = lean_box(0);
x_24 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_24, 0, x_23);
lean_ctor_set(x_24, 1, x_22);
return x_24;
}
}
else
{
uint8_t x_25;
x_25 = !lean_is_exclusive(x_18);
if (x_25 == 0)
{
return x_18;
}
else
{
lean_object* x_26; lean_object* x_27; lean_object* x_28;
x_26 = lean_ctor_get(x_18, 0);
x_27 = lean_ctor_get(x_18, 1);
lean_inc(x_27);
lean_inc(x_26);
lean_dec(x_18);
x_28 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_28, 0, x_26);
lean_ctor_set(x_28, 1, x_27);
return x_28;
}
}
}
else
{
uint8_t x_29;
lean_dec(x_8);
lean_dec(x_7);
lean_dec(x_6);
lean_dec(x_5);
lean_dec(x_4);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_29 = !lean_is_exclusive(x_13);
if (x_29 == 0)
{
return x_13;
}
else
{
lean_object* x_30; lean_object* x_31; lean_object* x_32;
x_30 = lean_ctor_get(x_13, 0);
x_31 = lean_ctor_get(x_13, 1);
lean_inc(x_31);
lean_inc(x_30);
lean_dec(x_13);
x_32 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_32, 0, x_30);
lean_ctor_set(x_32, 1, x_31);
return x_32;
}
}
}
else
{
uint8_t x_33;
lean_dec(x_8);
lean_dec(x_7);
lean_dec(x_6);
lean_dec(x_5);
lean_dec(x_4);
lean_dec(x_3);
lean_dec(x_2);
lean_dec(x_1);
x_33 = !lean_is_exclusive(x_10);
if (x_33 == 0)
{
return x_10;
}
else
{
lean_object* x_34; lean_object* x_35; lean_object* x_36;
x_34 = lean_ctor_get(x_10, 0);
x_35 = lean_ctor_get(x_10, 1);
lean_inc(x_35);
lean_inc(x_34);
lean_dec(x_10);
x_36 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_36, 0, x_34);
lean_ctor_set(x_36, 1, x_35);
return x_36;
}
}
}
}
static lean_object* _init_l_Lean_Elab_Tactic_evalSubstVars___rarg___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_alloc_closure((void*)(l_Lean_Elab_Tactic_evalSubstVars___rarg___lambda__1), 9, 0);
return x_1;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9) {
_start:
{
lean_object* x_10; lean_object* x_11;
x_10 = l_Lean_Elab_Tactic_evalSubstVars___rarg___closed__1;
x_11 = l_Lean_Elab_Tactic_withMainContext___rarg(x_10, x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9);
return x_11;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Elab_Tactic_evalSubstVars___rarg), 9, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lean_Elab_Tactic_evalSubstVars___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = l_Lean_Elab_Tactic_evalSubstVars(x_1);
lean_dec(x_1);
return x_2;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__1() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("substVars", 9);
return x_1;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l_Lean_Elab_Tactic_evalWithAnnotateState___closed__6;
x_2 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__1;
x_3 = lean_name_mk_string(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__3() {
_start:
{
lean_object* x_1;
x_1 = lean_mk_string_from_bytes("evalSubstVars", 13);
return x_1;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l___regBuiltin_Lean_Elab_Tactic_evalWithAnnotateState___closed__3;
x_2 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__3;
x_3 = lean_name_mk_string(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__5() {
_start:
{
lean_object* x_1;
x_1 = lean_alloc_closure((void*)(l_Lean_Elab_Tactic_evalSubstVars___boxed), 1, 0);
return x_1;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6;
x_2 = l___regBuiltin_Lean_Elab_Tactic_evalWithAnnotateState___closed__6;
x_3 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__2;
x_4 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4;
x_5 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__5;
x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1);
return x_6;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(260u);
x_2 = lean_unsigned_to_nat(46u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(261u);
x_2 = lean_unsigned_to_nat(58u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__3() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__1;
x_2 = lean_unsigned_to_nat(46u);
x_3 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__2;
x_4 = lean_unsigned_to_nat(58u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
lean_ctor_set(x_5, 1, x_2);
lean_ctor_set(x_5, 2, x_3);
lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__4() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(260u);
x_2 = lean_unsigned_to_nat(50u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__5() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(260u);
x_2 = lean_unsigned_to_nat(63u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__6() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5;
x_1 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__4;
x_2 = lean_unsigned_to_nat(50u);
x_3 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__5;
x_4 = lean_unsigned_to_nat(63u);
x_5 = lean_alloc_ctor(0, 4, 0);
lean_ctor_set(x_5, 0, x_1);
lean_ctor_set(x_5, 1, x_2);
lean_ctor_set(x_5, 2, x_3);
lean_ctor_set(x_5, 3, x_4);
return x_5;
}
}
static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__7() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__3;
x_2 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__6;
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
lean_ctor_set(x_3, 1, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4;
x_2 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4;
x_3 = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__7;
x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1);
return x_4;
}
}
LEAN_EXPORT lean_object* l_List_findM_x3f___at___private_Lean_Elab_Tactic_BuiltinTactic_0__Lean_Elab_Tactic_findTag_x3f___spec__1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8, lean_object* x_9, lean_object* x_10, lean_object* x_11) {
_start:
{
@ -23407,7 +23770,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(317u);
x_1 = lean_unsigned_to_nat(320u);
x_2 = lean_unsigned_to_nat(24u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23419,7 +23782,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(326u);
x_1 = lean_unsigned_to_nat(329u);
x_2 = lean_unsigned_to_nat(31u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23447,7 +23810,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(317u);
x_1 = lean_unsigned_to_nat(320u);
x_2 = lean_unsigned_to_nat(28u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23459,7 +23822,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(317u);
x_1 = lean_unsigned_to_nat(320u);
x_2 = lean_unsigned_to_nat(36u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23940,7 +24303,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_x27_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(328u);
x_1 = lean_unsigned_to_nat(331u);
x_2 = lean_unsigned_to_nat(25u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23952,7 +24315,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_x27_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(339u);
x_1 = lean_unsigned_to_nat(342u);
x_2 = lean_unsigned_to_nat(31u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23980,7 +24343,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_x27_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(328u);
x_1 = lean_unsigned_to_nat(331u);
x_2 = lean_unsigned_to_nat(29u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -23992,7 +24355,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalCase_x27_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(328u);
x_1 = lean_unsigned_to_nat(331u);
x_2 = lean_unsigned_to_nat(38u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24234,7 +24597,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalRenameInaccessible
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(341u);
x_1 = lean_unsigned_to_nat(344u);
x_2 = lean_unsigned_to_nat(27u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24246,7 +24609,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalRenameInaccessible
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(343u);
x_1 = lean_unsigned_to_nat(346u);
x_2 = lean_unsigned_to_nat(31u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24274,7 +24637,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalRenameInaccessible
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(341u);
x_1 = lean_unsigned_to_nat(344u);
x_2 = lean_unsigned_to_nat(31u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24286,7 +24649,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalRenameInaccessible
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(341u);
x_1 = lean_unsigned_to_nat(344u);
x_2 = lean_unsigned_to_nat(54u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24605,7 +24968,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFirst_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(345u);
x_1 = lean_unsigned_to_nat(348u);
x_2 = lean_unsigned_to_nat(33u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24617,7 +24980,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFirst_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(354u);
x_1 = lean_unsigned_to_nat(357u);
x_2 = lean_unsigned_to_nat(47u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24645,7 +25008,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFirst_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(345u);
x_1 = lean_unsigned_to_nat(348u);
x_2 = lean_unsigned_to_nat(37u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24657,7 +25020,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFirst_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(345u);
x_1 = lean_unsigned_to_nat(348u);
x_2 = lean_unsigned_to_nat(46u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24938,7 +25301,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(356u);
x_1 = lean_unsigned_to_nat(359u);
x_2 = lean_unsigned_to_nat(24u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24950,7 +25313,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(365u);
x_1 = lean_unsigned_to_nat(368u);
x_2 = lean_unsigned_to_nat(31u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24978,7 +25341,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(356u);
x_1 = lean_unsigned_to_nat(359u);
x_2 = lean_unsigned_to_nat(28u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -24990,7 +25353,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalFail_declRange___c
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(356u);
x_1 = lean_unsigned_to_nat(359u);
x_2 = lean_unsigned_to_nat(36u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25176,7 +25539,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalDbgTrace_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(367u);
x_1 = lean_unsigned_to_nat(370u);
x_2 = lean_unsigned_to_nat(26u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25188,7 +25551,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalDbgTrace_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(370u);
x_1 = lean_unsigned_to_nat(373u);
x_2 = lean_unsigned_to_nat(29u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25216,7 +25579,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalDbgTrace_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(367u);
x_1 = lean_unsigned_to_nat(370u);
x_2 = lean_unsigned_to_nat(30u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25228,7 +25591,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalDbgTrace_declRange
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(367u);
x_1 = lean_unsigned_to_nat(370u);
x_2 = lean_unsigned_to_nat(42u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25448,7 +25811,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSleep_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(372u);
x_1 = lean_unsigned_to_nat(375u);
x_2 = lean_unsigned_to_nat(23u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25460,7 +25823,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSleep_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(375u);
x_1 = lean_unsigned_to_nat(378u);
x_2 = lean_unsigned_to_nat(35u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25488,7 +25851,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSleep_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(372u);
x_1 = lean_unsigned_to_nat(375u);
x_2 = lean_unsigned_to_nat(27u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -25500,7 +25863,7 @@ static lean_object* _init_l___regBuiltin_Lean_Elab_Tactic_evalSleep_declRange___
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3;
x_1 = lean_unsigned_to_nat(372u);
x_1 = lean_unsigned_to_nat(375u);
x_2 = lean_unsigned_to_nat(36u);
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_1);
@ -26675,6 +27038,38 @@ lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubst_declRange___close
res = l___regBuiltin_Lean_Elab_Tactic_evalSubst_declRange(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Lean_Elab_Tactic_evalSubstVars___rarg___closed__1 = _init_l_Lean_Elab_Tactic_evalSubstVars___rarg___closed__1();
lean_mark_persistent(l_Lean_Elab_Tactic_evalSubstVars___rarg___closed__1);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__1 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__1);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__2 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__2);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__3 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__3);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__4);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__5 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__5();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars___closed__5);
res = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__1 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__1();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__1);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__2 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__2();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__2);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__3 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__3();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__3);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__4 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__4();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__4);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__5 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__5();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__5);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__6 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__6();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__6);
l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__7 = _init_l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__7();
lean_mark_persistent(l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange___closed__7);
res = l___regBuiltin_Lean_Elab_Tactic_evalSubstVars_declRange(lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Lean_Elab_ContextInfo_saveNoFileMap___at_Lean_Elab_Tactic_renameInaccessibles___spec__5___rarg___closed__1 = _init_l_Lean_Elab_ContextInfo_saveNoFileMap___at_Lean_Elab_Tactic_renameInaccessibles___spec__5___rarg___closed__1();
lean_mark_persistent(l_Lean_Elab_ContextInfo_saveNoFileMap___at_Lean_Elab_Tactic_renameInaccessibles___spec__5___rarg___closed__1);
l_Lean_Elab_Tactic_renameInaccessibles___lambda__2___boxed__const__1 = _init_l_Lean_Elab_Tactic_renameInaccessibles___lambda__2___boxed__const__1();

2175
stage0/stdlib/Lean/Meta/Match/MatchEqs.c generated
View file

File diff suppressed because it is too large Load diff

2195
stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c generated
View file

File diff suppressed because it is too large Load diff

1416
stage0/stdlib/Lean/Server/FileWorker/WidgetRequests.c generated
View file

File diff suppressed because it is too large Load diff

244
stage0/stdlib/Lean/Widget/InteractiveDiagnostic.c generated
View file

@ -14,14 +14,17 @@
extern "C" {
#endif
LEAN_EXPORT lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1600____rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instInhabitedEmbedFmt;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__6___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_usize_add(size_t, size_t);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_msgToInteractive___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__6;
lean_object* lean_mk_empty_array_with_capacity(lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5;
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___closed__3;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___spec__2___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__16(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -34,17 +37,20 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingP
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___closed__5;
lean_object* l_Lean_Json_getObjValAs_x3f(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2(lean_object*);
extern lean_object* l_Std_Format_defWidth;
lean_object* lean_array_uset(lean_object*, size_t, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__10(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Widget_TaggedText_prettyTagged(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1574_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1600_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_511_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___spec__4(lean_object*);
lean_object* l_Except_orElseLazy___rarg(lean_object*, lean_object*);
static lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
lean_object* l_Lean_mkMVar(lean_object*);
static lean_object* l_Lean_Widget_msgToInteractive___lambda__1___closed__3;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__21(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_TaggedText_rewriteM___at_Lean_Widget_msgToInteractive___spec__2(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__9(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -53,6 +59,8 @@ LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiag
lean_object* lean_array_push(lean_object*, lean_object*);
lean_object* lean_array_get_size(lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__2;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg___boxed(lean_object*, lean_object*, lean_object*);
lean_object* lean_string_append(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__7(lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__4;
@ -75,19 +83,16 @@ static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget
lean_object* l_List_join___rarg(lean_object*);
uint8_t lean_usize_dec_lt(size_t, size_t);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__14(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* lean_nat_add(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1;
lean_object* l_Lean_Widget_TaggedText_stripTags___rarg(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___closed__5;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8;
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___lambda__1___closed__2;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg___boxed(lean_object*, lean_object*, lean_object*);
static uint32_t l_Lean_Widget_instInhabitedEmbedFmt___closed__7;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Widget_InteractiveGoal_pretty(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___lambda__1___boxed(lean_object*);
@ -101,7 +106,6 @@ LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgE
lean_object* l_Lean_Json_parseTagged(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__5;
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__3;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveDiagnostic_toDiagnostic_prettyTt(lean_object*);
lean_object* l_Lean_Widget_TaggedText_rewrite___rarg(lean_object*, lean_object*);
@ -112,7 +116,6 @@ static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget
lean_object* lean_array_get(lean_object*, lean_object*, lean_object*);
lean_object* l_Std_mkHashMapImp___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__2(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__18;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Widget_tagExprInfos_go(lean_object*, lean_object*, lean_object*);
@ -127,7 +130,7 @@ lean_object* lean_format_pretty(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__8(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__4(lean_object*);
lean_object* l_Std_PersistentHashMap_mkEmptyEntriesArray(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1(lean_object*);
LEAN_EXPORT lean_object* l_StateT_pure___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__1(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_pushEmbed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__5___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -135,10 +138,9 @@ LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiag
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* lean_expr_dbg_to_string(lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__8(lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3(lean_object*);
lean_object* l___private_Init_Util_0__mkPanicMessageWithDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedMsgEmbed___closed__2;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedMsgEmbed___closed__1;
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__12;
@ -146,22 +148,22 @@ LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgE
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__15(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux___closed__1;
size_t lean_usize_of_nat(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225_(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___spec__1(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_msgToInteractive(lean_object*, uint8_t, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveDiagnostic_toDiagnostic(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__9(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1574____rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__5___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___spec__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__20(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__19;
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___closed__1;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___closed__4;
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__20;
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__10;
@ -174,6 +176,7 @@ static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___lambda__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t lean_nat_dec_le(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6;
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___closed__6;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__12(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -181,45 +184,43 @@ static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget
LEAN_EXPORT lean_object* l_StateT_lift___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__3(lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__8___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_mkPPContext___boxed(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__16;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__12(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3(lean_object*);
lean_object* l_Lean_Json_mkObj(lean_object*);
static lean_object* l_Lean_Widget_instInhabitedMsgEmbed___closed__3;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___lambda__1(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__7___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg(lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___lambda__1___closed__1;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg(lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_ppTerm(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__4(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___spec__3___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_EStateM_instInhabitedEStateM___rarg(lean_object*, lean_object*);
lean_object* lean_panic_fn(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_InteractiveDiagnostic_toDiagnostic_prettyTt___closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__6___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___closed__1;
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__2(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3;
LEAN_EXPORT lean_object* l_Lean_Widget_instInhabitedMsgEmbed;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_mkPPContext(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__5___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__4___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__2(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8;
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__3(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__6___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodingPacket___rarg___lambda__7(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___closed__2;
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__13;
@ -230,12 +231,12 @@ lean_object* l_Lean_FileMap_leanPosToLspPos(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Widget_msgToInteractive___spec__3(lean_object*, size_t, size_t, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveDiagnostic_toDiagnostic_prettyTt___lambda__1___boxed(lean_object*, lean_object*);
static lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
LEAN_EXPORT lean_object* l_StateT_pure___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__1___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___boxed(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___spec__3___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7;
uint32_t lean_uint32_of_nat(lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3;
lean_object* l_Lean_Elab_ContextInfo_runMetaM___rarg(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___closed__7;
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__11;
@ -244,8 +245,6 @@ lean_object* l_Lean_Level_format(lean_object*);
LEAN_EXPORT lean_object* l_StateT_lift___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_msgToInteractiveAux_go___spec__3___rarg(lean_object*, lean_object*, lean_object*);
size_t lean_usize_of_nat(lean_object*);
lean_object* lean_nat_to_int(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5(lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__18(lean_object*, lean_object*);
lean_object* l_Lean_Syntax_formatStxAux(lean_object*, uint8_t, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___lambda__1___closed__1;
@ -255,10 +254,11 @@ LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingMsgE
static lean_object* l_Lean_Widget_instInhabitedEmbedFmt___closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__19(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_PrettyPrinter_ppExprWithInfos(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2(lean_object*);
uint8_t lean_string_dec_eq(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t lean_nat_dec_lt(lean_object*, lean_object*);
static lean_object* l_Lean_Widget_msgToInteractiveDiagnostic___lambda__1___closed__2;
static lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveDiagnostic_toDiagnostic_prettyTt___lambda__1(lean_object*, lean_object*);
static size_t l_Lean_Widget_instInhabitedEmbedFmt___closed__17;
static lean_object* _init_l_Lean_Widget_instInhabitedMsgEmbed___closed__1() {
@ -1623,7 +1623,7 @@ x_2 = lean_alloc_closure((void*)(l_Lean_Widget_instRpcEncodingMsgEmbedRpcEncodin
return x_2;
}
}
static lean_object* _init_l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1() {
static lean_object* _init_l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1() {
_start:
{
lean_object* x_1; lean_object* x_2;
@ -1633,7 +1633,7 @@ lean_ctor_set(x_2, 0, x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
@ -1642,7 +1642,7 @@ if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
lean_dec(x_1);
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
return x_5;
}
else
@ -1697,15 +1697,15 @@ return x_15;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1(lean_object* x_1) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___boxed), 3, 0);
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___boxed), 3, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
@ -1714,7 +1714,7 @@ if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
lean_dec(x_1);
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
return x_5;
}
else
@ -1769,15 +1769,15 @@ return x_15;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2(lean_object* x_1) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg___boxed), 3, 0);
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg___boxed), 3, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
@ -1786,7 +1786,7 @@ if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
lean_dec(x_1);
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
return x_5;
}
else
@ -1841,15 +1841,15 @@ return x_15;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3(lean_object* x_1) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg___boxed), 3, 0);
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg___boxed), 3, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
@ -1858,7 +1858,7 @@ if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
lean_dec(x_1);
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
return x_5;
}
else
@ -1913,15 +1913,15 @@ return x_15;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4(lean_object* x_1) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg___boxed), 3, 0);
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg___boxed), 3, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
@ -1930,7 +1930,7 @@ if (lean_obj_tag(x_4) == 0)
{
lean_object* x_5;
lean_dec(x_1);
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_5 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
return x_5;
}
else
@ -1985,15 +1985,15 @@ return x_15;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5(lean_object* x_1) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg___boxed), 3, 0);
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg___boxed), 3, 0);
return x_2;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1() {
_start:
{
lean_object* x_1;
@ -2001,7 +2001,7 @@ x_1 = lean_mk_string_from_bytes("range", 5);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2() {
_start:
{
lean_object* x_1;
@ -2009,7 +2009,7 @@ x_1 = lean_mk_string_from_bytes("fullRange", 9);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3() {
_start:
{
lean_object* x_1;
@ -2017,7 +2017,7 @@ x_1 = lean_mk_string_from_bytes("severity", 8);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4() {
_start:
{
lean_object* x_1;
@ -2025,7 +2025,7 @@ x_1 = lean_mk_string_from_bytes("code", 4);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5() {
_start:
{
lean_object* x_1;
@ -2033,7 +2033,7 @@ x_1 = lean_mk_string_from_bytes("source", 6);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6() {
_start:
{
lean_object* x_1;
@ -2041,7 +2041,7 @@ x_1 = lean_mk_string_from_bytes("message", 7);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7() {
_start:
{
lean_object* x_1;
@ -2049,7 +2049,7 @@ x_1 = lean_mk_string_from_bytes("tags", 4);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8() {
static lean_object* _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8() {
_start:
{
lean_object* x_1;
@ -2057,11 +2057,11 @@ x_1 = lean_mk_string_from_bytes("relatedInformation", 18);
return x_1;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) {
_start:
{
lean_object* x_9; lean_object* x_10;
x_9 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1;
x_9 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1;
lean_inc(x_1);
x_10 = l_Lean_Json_getObjValAs_x3f(x_8, lean_box(0), x_1, x_9);
if (lean_obj_tag(x_10) == 0)
@ -2096,7 +2096,7 @@ lean_object* x_14; lean_object* x_15; lean_object* x_16;
x_14 = lean_ctor_get(x_10, 0);
lean_inc(x_14);
lean_dec(x_10);
x_15 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2;
x_15 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2;
x_16 = l_Lean_Json_getObjValAs_x3f(x_8, lean_box(0), x_1, x_15);
if (lean_obj_tag(x_16) == 0)
{
@ -2130,8 +2130,8 @@ lean_object* x_20; lean_object* x_21; lean_object* x_22;
x_20 = lean_ctor_get(x_16, 0);
lean_inc(x_20);
lean_dec(x_16);
x_21 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3;
x_22 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg(x_2, x_8, x_21);
x_21 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3;
x_22 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg(x_2, x_8, x_21);
if (lean_obj_tag(x_22) == 0)
{
uint8_t x_23;
@ -2164,8 +2164,8 @@ lean_object* x_26; lean_object* x_27; lean_object* x_28;
x_26 = lean_ctor_get(x_22, 0);
lean_inc(x_26);
lean_dec(x_22);
x_27 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4;
x_28 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg(x_3, x_8, x_27);
x_27 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4;
x_28 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg(x_3, x_8, x_27);
if (lean_obj_tag(x_28) == 0)
{
uint8_t x_29;
@ -2198,8 +2198,8 @@ lean_object* x_32; lean_object* x_33; lean_object* x_34;
x_32 = lean_ctor_get(x_28, 0);
lean_inc(x_32);
lean_dec(x_28);
x_33 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5;
x_34 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg(x_4, x_8, x_33);
x_33 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5;
x_34 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg(x_4, x_8, x_33);
if (lean_obj_tag(x_34) == 0)
{
uint8_t x_35;
@ -2232,7 +2232,7 @@ lean_object* x_38; lean_object* x_39; lean_object* x_40;
x_38 = lean_ctor_get(x_34, 0);
lean_inc(x_38);
lean_dec(x_34);
x_39 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6;
x_39 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6;
x_40 = l_Lean_Json_getObjValAs_x3f(x_8, lean_box(0), x_5, x_39);
if (lean_obj_tag(x_40) == 0)
{
@ -2266,8 +2266,8 @@ lean_object* x_44; lean_object* x_45; lean_object* x_46;
x_44 = lean_ctor_get(x_40, 0);
lean_inc(x_44);
lean_dec(x_40);
x_45 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7;
x_46 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg(x_6, x_8, x_45);
x_45 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7;
x_46 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg(x_6, x_8, x_45);
if (lean_obj_tag(x_46) == 0)
{
uint8_t x_47;
@ -2300,8 +2300,8 @@ lean_object* x_50; lean_object* x_51; lean_object* x_52;
x_50 = lean_ctor_get(x_46, 0);
lean_inc(x_50);
lean_dec(x_46);
x_51 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8;
x_52 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg(x_7, x_8, x_51);
x_51 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8;
x_52 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg(x_7, x_8, x_51);
if (lean_obj_tag(x_52) == 0)
{
uint8_t x_53;
@ -2377,69 +2377,69 @@ return x_61;
}
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252_(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278_(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7) {
_start:
{
lean_object* x_8;
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___boxed), 8, 0);
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___boxed), 8, 0);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg(x_1, x_2, x_3);
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__2___rarg(x_1, x_2, x_3);
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__2___rarg(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__3___rarg(x_1, x_2, x_3);
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__3___rarg(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__4___rarg(x_1, x_2, x_3);
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__4___rarg(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__5___rarg(x_1, x_2, x_3);
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__5___rarg(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) {
_start:
{
lean_object* x_9;
x_9 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8);
x_9 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8);
lean_dec(x_8);
return x_9;
}
@ -2448,7 +2448,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__6___rarg(l
_start:
{
lean_object* x_8;
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___boxed), 8, 7);
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___boxed), 8, 7);
lean_closure_set(x_8, 0, x_1);
lean_closure_set(x_8, 1, x_2);
lean_closure_set(x_8, 2, x_3);
@ -2467,7 +2467,7 @@ x_8 = lean_alloc_closure((void*)(l_Lean_Widget_instFromJsonRpcEncodingPacket__6_
return x_8;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1574____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1600____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) {
_start:
{
lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; lean_object* x_31; lean_object* x_32; lean_object* x_33; lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; lean_object* x_38; lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; lean_object* x_48; lean_object* x_49;
@ -2475,7 +2475,7 @@ x_9 = lean_ctor_get(x_8, 0);
lean_inc(x_9);
lean_inc(x_1);
x_10 = lean_apply_1(x_1, x_9);
x_11 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1;
x_11 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1;
x_12 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_12, 0, x_11);
lean_ctor_set(x_12, 1, x_10);
@ -2486,7 +2486,7 @@ lean_ctor_set(x_14, 1, x_13);
x_15 = lean_ctor_get(x_8, 1);
lean_inc(x_15);
x_16 = lean_apply_1(x_1, x_15);
x_17 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2;
x_17 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2;
x_18 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_18, 0, x_17);
lean_ctor_set(x_18, 1, x_16);
@ -2495,20 +2495,20 @@ lean_ctor_set(x_19, 0, x_18);
lean_ctor_set(x_19, 1, x_13);
x_20 = lean_ctor_get(x_8, 2);
lean_inc(x_20);
x_21 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3;
x_21 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3;
x_22 = l_Lean_Json_opt___rarg(x_2, x_21, x_20);
x_23 = lean_ctor_get(x_8, 3);
lean_inc(x_23);
x_24 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4;
x_24 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4;
x_25 = l_Lean_Json_opt___rarg(x_3, x_24, x_23);
x_26 = lean_ctor_get(x_8, 4);
lean_inc(x_26);
x_27 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5;
x_27 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5;
x_28 = l_Lean_Json_opt___rarg(x_4, x_27, x_26);
x_29 = lean_ctor_get(x_8, 5);
lean_inc(x_29);
x_30 = lean_apply_1(x_5, x_29);
x_31 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6;
x_31 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6;
x_32 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_32, 0, x_31);
lean_ctor_set(x_32, 1, x_30);
@ -2517,12 +2517,12 @@ lean_ctor_set(x_33, 0, x_32);
lean_ctor_set(x_33, 1, x_13);
x_34 = lean_ctor_get(x_8, 6);
lean_inc(x_34);
x_35 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7;
x_35 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7;
x_36 = l_Lean_Json_opt___rarg(x_6, x_35, x_34);
x_37 = lean_ctor_get(x_8, 7);
lean_inc(x_37);
lean_dec(x_8);
x_38 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8;
x_38 = l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8;
x_39 = l_Lean_Json_opt___rarg(x_7, x_38, x_37);
x_40 = lean_alloc_ctor(1, 2, 0);
lean_ctor_set(x_40, 0, x_39);
@ -2553,11 +2553,11 @@ x_49 = l_Lean_Json_mkObj(x_48);
return x_49;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1574_(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1600_(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7) {
_start:
{
lean_object* x_8;
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1574____rarg), 8, 0);
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1600____rarg), 8, 0);
return x_8;
}
}
@ -2565,7 +2565,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__6___rarg(lea
_start:
{
lean_object* x_8;
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1574____rarg), 8, 7);
x_8 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1600____rarg), 8, 7);
lean_closure_set(x_8, 0, x_1);
lean_closure_set(x_8, 1, x_2);
lean_closure_set(x_8, 2, x_3);
@ -3621,7 +3621,7 @@ lean_dec(x_8);
x_17 = lean_ctor_get(x_16, 1);
lean_inc(x_17);
lean_dec(x_16);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
x_19 = lean_apply_2(x_17, lean_box(0), x_18);
x_20 = lean_apply_4(x_14, lean_box(0), lean_box(0), x_19, x_15);
return x_20;
@ -3684,7 +3684,7 @@ lean_dec(x_7);
x_17 = lean_ctor_get(x_16, 1);
lean_inc(x_17);
lean_dec(x_16);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
x_19 = lean_apply_2(x_17, lean_box(0), x_18);
x_20 = lean_apply_4(x_14, lean_box(0), lean_box(0), x_19, x_15);
return x_20;
@ -3782,7 +3782,7 @@ lean_dec(x_3);
x_17 = lean_ctor_get(x_16, 1);
lean_inc(x_17);
lean_dec(x_16);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
x_19 = lean_apply_2(x_17, lean_box(0), x_18);
x_20 = lean_apply_4(x_14, lean_box(0), lean_box(0), x_19, x_15);
return x_20;
@ -3845,7 +3845,7 @@ lean_dec(x_3);
x_17 = lean_ctor_get(x_16, 1);
lean_inc(x_17);
lean_dec(x_16);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
x_19 = lean_apply_2(x_17, lean_box(0), x_18);
x_20 = lean_apply_4(x_14, lean_box(0), lean_box(0), x_19, x_15);
return x_20;
@ -3987,7 +3987,7 @@ lean_dec(x_3);
x_17 = lean_ctor_get(x_16, 1);
lean_inc(x_17);
lean_dec(x_16);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1;
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1;
x_19 = lean_apply_2(x_17, lean_box(0), x_18);
x_20 = lean_apply_4(x_14, lean_box(0), lean_box(0), x_19, x_15);
return x_20;
@ -7655,24 +7655,24 @@ l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncoding
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_225____rarg___closed__1);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_511____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_511____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_511____rarg___closed__1);
l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1 = _init_l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1();
lean_mark_persistent(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____spec__1___rarg___closed__1);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__1);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__2);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__3);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__4);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__5);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__6);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__7);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1252____rarg___closed__8);
l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1 = _init_l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1();
lean_mark_persistent(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____spec__1___rarg___closed__1);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__1);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__2);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__3);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__4);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__5);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__6);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__7);
l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8 = _init_l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8();
lean_mark_persistent(l___private_Lean_Widget_InteractiveDiagnostic_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveDiagnostic___hyg_1278____rarg___closed__8);
l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__3___closed__1 = _init_l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__3___closed__1();
lean_mark_persistent(l_Lean_Widget_instRpcEncodingDiagnosticWithRpcEncodingPacket___rarg___lambda__3___closed__1);
l_Lean_Widget_InteractiveDiagnostic_toDiagnostic_prettyTt___closed__1 = _init_l_Lean_Widget_InteractiveDiagnostic_toDiagnostic_prettyTt___closed__1();

172
stage0/stdlib/Lean/Widget/InteractiveGoal.c generated
View file

@ -13,20 +13,22 @@
#ifdef __cplusplus
extern "C" {
#endif
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Widget_goalToInteractive___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_usize_add(size_t, size_t);
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__1___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1904____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___spec__4(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____spec__1___rarg(lean_object*, lean_object*, lean_object*);
lean_object* lean_erase_macro_scopes(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_977____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_stringToMessageData(lean_object*);
lean_object* lean_mk_empty_array_with_capacity(lean_object*);
LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlMAux___at_Lean_Widget_goalToInteractive___spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalsRpcEncodingPacket___rarg___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Widget_addInteractiveHypothesis___spec__1(size_t, size_t, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__7___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2307____rarg(lean_object*, lean_object*);
uint8_t l_Lean_LocalDecl_isAuxDecl(lean_object*);
uint8_t lean_usize_dec_eq(size_t, size_t);
lean_object* lean_array_uget(lean_object*, size_t);
@ -41,6 +43,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEn
LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
extern lean_object* l_Lean_Meta_pp_auxDecls;
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__2;
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__12(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedInteractiveTermGoal___closed__3;
size_t lean_usize_sub(size_t, size_t);
@ -65,16 +68,17 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalsRpcEncodin
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__14(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__9;
static lean_object* l_Lean_Widget_instInhabitedInteractiveTermGoal___closed__2;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_977_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_993_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_334_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1872_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2259_(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1904_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2307_(lean_object*);
size_t lean_usize_shift_right(size_t, size_t);
lean_object* l_List_join___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t lean_usize_dec_lt(size_t, size_t);
lean_object* l_Std_RBNode_findCore___at_Lean_Meta_Closure_process___spec__1(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg(lean_object*, lean_object*, lean_object*);
lean_object* lean_nat_add(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_InteractiveGoal_addLine(lean_object*);
lean_object* l_Lean_Widget_TaggedText_stripTags___rarg(lean_object*);
@ -87,8 +91,6 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalsRpcEncodin
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__3;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__13___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveGoal_pretty(lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___spec__3(lean_object*);
LEAN_EXPORT lean_object* l_Lean_LocalContext_foldlM___at_Lean_Widget_goalToInteractive___spec__2(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -102,10 +104,8 @@ LEAN_EXPORT lean_object* l_Std_PersistentArray_foldlM___at_Lean_Widget_goalToInt
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__3___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__10(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg___boxed(lean_object*, lean_object*, lean_object*);
lean_object* lean_nat_sub(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3;
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__6(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___spec__4___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket(lean_object*);
@ -113,11 +113,11 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instInhabitedInteractiveGoal;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__5(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_InteractiveGoal_pretty___closed__5;
static lean_object* l_Lean_Widget_InteractiveGoal_pretty___closed__3;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_goalToInteractive___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Meta_withLCtx___at___private_Lean_Meta_Basic_0__Lean_Meta_mkLeveErrorMessageCore___spec__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__9(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Name_toString(lean_object*, uint8_t);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__8(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -130,6 +130,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__3___rarg(lea
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveTermGoal_toInteractiveGoal(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instInhabitedInteractiveHypothesis;
static lean_object* l_Lean_Widget_goalToInteractive___lambda__1___closed__2;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__3(lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__11___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__6;
@ -141,14 +142,12 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncoding
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg___lambda__5(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalsRpcEncodingPacket___rarg(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg___lambda__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveGoalsRpcEncodingPacket___spec__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_usize_shift_left(size_t, size_t);
LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlMAux___at_Lean_Widget_goalToInteractive___spec__5(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* lean_array_to_list(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__10(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___spec__1(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg___lambda__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t l_Array_isEmpty___rarg(lean_object*);
@ -159,10 +158,11 @@ LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToIntera
LEAN_EXPORT lean_object* l_Lean_Widget_InteractiveHypothesis_val_x3f___default;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__4(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_usize_of_nat(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1872____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___boxed(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____rarg___closed__3;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__9___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
size_t lean_usize_land(size_t, size_t);
@ -172,8 +172,11 @@ LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentA
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__10;
LEAN_EXPORT lean_object* l_Lean_Widget_addInteractiveHypothesis(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____spec__1___rarg___closed__1;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____spec__1___rarg___boxed(lean_object*, lean_object*, lean_object*);
static lean_object* l_Lean_Widget_instInhabitedInteractiveHypothesis___closed__2;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1;
lean_object* l_Lean_LocalDecl_type(lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__13(uint8_t, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___rarg___lambda__7(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -181,7 +184,6 @@ static lean_object* l_Lean_Widget_instInhabitedInteractiveHypothesis___closed__4
static lean_object* l_Lean_Widget_goalToInteractive___closed__1;
LEAN_EXPORT lean_object* l_Array_mapMUnsafe_map___at_Lean_Widget_addInteractiveHypothesis___spec__1___boxed(lean_object*, lean_object*, lean_object*);
lean_object* l_String_intercalate(lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___spec__2___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Json_opt___rarg(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___spec__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -192,7 +194,6 @@ static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pr
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__4___rarg(lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__4;
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__2(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___boxed(lean_object*, lean_object*);
uint8_t lean_nat_dec_le(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__2(lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__2___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
@ -206,6 +207,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__3___rarg(l
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__1(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlFromMAux___at_Lean_Widget_goalToInteractive___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__15___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_993____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
lean_object* l_Lean_Json_mkObj(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__9(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, uint8_t);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__5(lean_object*);
@ -218,9 +220,9 @@ lean_object* l_Lean_addMessageContextFull___at_Lean_Meta_instAddMessageContextMe
static lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__5___closed__1;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____rarg___closed__1;
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200_(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248_(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163_(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__8(lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, uint8_t);
static lean_object* l_Lean_Widget_goalToInteractive___closed__4;
@ -239,15 +241,12 @@ static lean_object* l_Lean_Widget_InteractiveGoal_pretty___closed__4;
static lean_object* l_Lean_Widget_instInhabitedInteractiveGoal___closed__1;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___rarg___lambda__8(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Widget_goalToInteractive___spec__10___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg(lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2259____rarg(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveGoalsRpcEncodingPacket___rarg___lambda__3(lean_object*, lean_object*);
lean_object* l_Lean_Meta_ToHide_collect(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__4___rarg(lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___spec__2(lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1;
lean_object* lean_simp_macro_scopes(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1(lean_object*);
static lean_object* l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__1;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__4___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__1(lean_object*);
@ -259,20 +258,21 @@ static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJ
LEAN_EXPORT lean_object* l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlMAux___at_Lean_Widget_goalToInteractive___spec__12(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__2(lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveGoalRpcEncodingPacket___spec__3___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3;
LEAN_EXPORT lean_object* l_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___rarg___lambda__8___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg(lean_object*, lean_object*, lean_object*);
lean_object* lean_nat_to_int(lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_goalToInteractive_pushPending(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t l_Std_Format_isNil(lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2;
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveHypothesisRpcEncodingPacket___spec__5___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___spec__3___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t l_Lean_Expr_isSort(lean_object*);
lean_object* l_Lean_LocalContext_sanitizeNames(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_goalToInteractive_ppVars(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_ExceptT_bindCont___at_Lean_Widget_instRpcEncodingInteractiveTermGoalRpcEncodingPacket___spec__1(lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lean_Widget_goalToInteractive(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*);
uint8_t lean_nat_dec_lt(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*);
static lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_163____rarg___closed__2;
static lean_object* _init_l_Lean_Widget_InteractiveHypothesis_val_x3f___default() {
_start:
@ -1635,7 +1635,7 @@ x_1 = l_Lean_Widget_instInhabitedInteractiveGoal___closed__1;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
@ -1699,15 +1699,15 @@ return x_15;
}
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1(lean_object* x_1) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg___boxed), 3, 0);
x_2 = lean_alloc_closure((void*)(l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg___boxed), 3, 0);
return x_2;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1() {
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1() {
_start:
{
lean_object* x_1;
@ -1715,7 +1715,7 @@ x_1 = lean_mk_string_from_bytes("hyps", 4);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2() {
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2() {
_start:
{
lean_object* x_1;
@ -1723,7 +1723,7 @@ x_1 = lean_mk_string_from_bytes("userName", 8);
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3() {
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3() {
_start:
{
lean_object* x_1;
@ -1731,11 +1731,11 @@ x_1 = lean_mk_string_from_bytes("goalPrefix", 10);
return x_1;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
lean_object* x_5; lean_object* x_6;
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1;
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1;
x_6 = l_Lean_Json_getObjValAs_x3f(x_4, lean_box(0), x_1, x_5);
if (lean_obj_tag(x_6) == 0)
{
@ -1793,9 +1793,9 @@ lean_object* x_16; lean_object* x_17; lean_object* x_18;
x_16 = lean_ctor_get(x_12, 0);
lean_inc(x_16);
lean_dec(x_12);
x_17 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2;
x_17 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2;
lean_inc(x_3);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg(x_3, x_4, x_17);
x_18 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg(x_3, x_4, x_17);
if (lean_obj_tag(x_18) == 0)
{
uint8_t x_19;
@ -1824,7 +1824,7 @@ lean_object* x_22; lean_object* x_23; lean_object* x_24;
x_22 = lean_ctor_get(x_18, 0);
lean_inc(x_22);
lean_dec(x_18);
x_23 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3;
x_23 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3;
x_24 = l_Lean_Json_getObjValAs_x3f(x_4, lean_box(0), x_3, x_23);
if (lean_obj_tag(x_24) == 0)
{
@ -1885,29 +1885,29 @@ return x_33;
}
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___boxed), 4, 0);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___boxed), 4, 0);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____spec__1___rarg(x_1, x_2, x_3);
x_4 = l_Lean_Json_getObjValAs_x3f___at___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____spec__1___rarg(x_1, x_2, x_3);
lean_dec(x_3);
lean_dec(x_2);
return x_4;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
lean_object* x_5;
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg(x_1, x_2, x_3, x_4);
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg(x_1, x_2, x_3, x_4);
lean_dec(x_4);
return x_5;
}
@ -1916,7 +1916,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__2___rarg(l
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___boxed), 4, 3);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___boxed), 4, 3);
lean_closure_set(x_4, 0, x_1);
lean_closure_set(x_4, 1, x_2);
lean_closure_set(x_4, 2, x_3);
@ -1931,14 +1931,14 @@ x_4 = lean_alloc_closure((void*)(l_Lean_Widget_instFromJsonRpcEncodingPacket__2_
return x_4;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_977____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_993____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29;
x_5 = lean_ctor_get(x_4, 0);
lean_inc(x_5);
x_6 = lean_apply_1(x_1, x_5);
x_7 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1;
x_7 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1;
x_8 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_8, 0, x_7);
lean_ctor_set(x_8, 1, x_6);
@ -1958,14 +1958,14 @@ lean_ctor_set(x_15, 0, x_14);
lean_ctor_set(x_15, 1, x_9);
x_16 = lean_ctor_get(x_4, 2);
lean_inc(x_16);
x_17 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2;
x_17 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2;
lean_inc(x_3);
x_18 = l_Lean_Json_opt___rarg(x_3, x_17, x_16);
x_19 = lean_ctor_get(x_4, 3);
lean_inc(x_19);
lean_dec(x_4);
x_20 = lean_apply_1(x_3, x_19);
x_21 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3;
x_21 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3;
x_22 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_22, 0, x_21);
lean_ctor_set(x_22, 1, x_20);
@ -1989,11 +1989,11 @@ x_29 = l_Lean_Json_mkObj(x_28);
return x_29;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_977_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_993_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_977____rarg), 4, 0);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_993____rarg), 4, 0);
return x_4;
}
}
@ -2001,7 +2001,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__2___rarg(lea
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_977____rarg), 4, 3);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_993____rarg), 4, 3);
lean_closure_set(x_4, 0, x_1);
lean_closure_set(x_4, 1, x_2);
lean_closure_set(x_4, 2, x_3);
@ -3047,7 +3047,7 @@ x_1 = l_Lean_Widget_instInhabitedInteractiveTermGoal___closed__3;
return x_1;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1() {
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1() {
_start:
{
lean_object* x_1;
@ -3055,11 +3055,11 @@ x_1 = lean_mk_string_from_bytes("range", 5);
return x_1;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
lean_object* x_5; lean_object* x_6;
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1;
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1;
x_6 = l_Lean_Json_getObjValAs_x3f(x_4, lean_box(0), x_1, x_5);
if (lean_obj_tag(x_6) == 0)
{
@ -3117,7 +3117,7 @@ lean_object* x_16; lean_object* x_17; lean_object* x_18;
x_16 = lean_ctor_get(x_12, 0);
lean_inc(x_16);
lean_dec(x_12);
x_17 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1;
x_17 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1;
x_18 = l_Lean_Json_getObjValAs_x3f(x_4, lean_box(0), x_3, x_17);
if (lean_obj_tag(x_18) == 0)
{
@ -3174,19 +3174,19 @@ return x_27;
}
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___boxed), 4, 0);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___boxed), 4, 0);
return x_4;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
lean_object* x_5;
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg(x_1, x_2, x_3, x_4);
x_5 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg(x_1, x_2, x_3, x_4);
lean_dec(x_4);
return x_5;
}
@ -3195,7 +3195,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__3___rarg(l
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___boxed), 4, 3);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___boxed), 4, 3);
lean_closure_set(x_4, 0, x_1);
lean_closure_set(x_4, 1, x_2);
lean_closure_set(x_4, 2, x_3);
@ -3210,14 +3210,14 @@ x_4 = lean_alloc_closure((void*)(l_Lean_Widget_instFromJsonRpcEncodingPacket__3_
return x_4;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1872____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1904____rarg(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) {
_start:
{
lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25;
x_5 = lean_ctor_get(x_4, 0);
lean_inc(x_5);
x_6 = lean_apply_1(x_1, x_5);
x_7 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1;
x_7 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1;
x_8 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_8, 0, x_7);
lean_ctor_set(x_8, 1, x_6);
@ -3239,7 +3239,7 @@ x_16 = lean_ctor_get(x_4, 2);
lean_inc(x_16);
lean_dec(x_4);
x_17 = lean_apply_1(x_3, x_16);
x_18 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1;
x_18 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1;
x_19 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_19, 0, x_18);
lean_ctor_set(x_19, 1, x_17);
@ -3260,11 +3260,11 @@ x_25 = l_Lean_Json_mkObj(x_24);
return x_25;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1872_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1904_(lean_object* x_1, lean_object* x_2, lean_object* x_3) {
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1872____rarg), 4, 0);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1904____rarg), 4, 0);
return x_4;
}
}
@ -3272,7 +3272,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__3___rarg(lea
_start:
{
lean_object* x_4;
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1872____rarg), 4, 3);
x_4 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1904____rarg), 4, 3);
lean_closure_set(x_4, 0, x_1);
lean_closure_set(x_4, 1, x_2);
lean_closure_set(x_4, 2, x_3);
@ -3713,7 +3713,7 @@ lean_dec(x_1);
return x_2;
}
}
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1() {
static lean_object* _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1() {
_start:
{
lean_object* x_1;
@ -3721,11 +3721,11 @@ x_1 = lean_mk_string_from_bytes("goals", 5);
return x_1;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg(lean_object* x_1, lean_object* x_2) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4;
x_3 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1;
x_3 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1;
x_4 = l_Lean_Json_getObjValAs_x3f(x_2, lean_box(0), x_1, x_3);
if (lean_obj_tag(x_4) == 0)
{
@ -3767,19 +3767,19 @@ return x_10;
}
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200_(lean_object* x_1) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248_(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___boxed), 2, 0);
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___boxed), 2, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___boxed(lean_object* x_1, lean_object* x_2) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3;
x_3 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg(x_1, x_2);
x_3 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg(x_1, x_2);
lean_dec(x_2);
return x_3;
}
@ -3788,7 +3788,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instFromJsonRpcEncodingPacket__4___rarg(l
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___boxed), 2, 1);
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___boxed), 2, 1);
lean_closure_set(x_2, 0, x_1);
return x_2;
}
@ -3801,12 +3801,12 @@ x_2 = lean_alloc_closure((void*)(l_Lean_Widget_instFromJsonRpcEncodingPacket__4_
return x_2;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2259____rarg(lean_object* x_1, lean_object* x_2) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2307____rarg(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10;
x_3 = lean_apply_1(x_1, x_2);
x_4 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1;
x_4 = l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1;
x_5 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
@ -3822,11 +3822,11 @@ x_10 = l_Lean_Json_mkObj(x_9);
return x_10;
}
}
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2259_(lean_object* x_1) {
LEAN_EXPORT lean_object* l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2307_(lean_object* x_1) {
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2259____rarg), 2, 0);
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2307____rarg), 2, 0);
return x_2;
}
}
@ -3834,7 +3834,7 @@ LEAN_EXPORT lean_object* l_Lean_Widget_instToJsonRpcEncodingPacket__4___rarg(lea
_start:
{
lean_object* x_2;
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2259____rarg), 2, 1);
x_2 = lean_alloc_closure((void*)(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_toJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2307____rarg), 2, 1);
lean_closure_set(x_2, 0, x_1);
return x_2;
}
@ -10430,12 +10430,12 @@ l_Lean_Widget_instInhabitedInteractiveGoal___closed__1 = _init_l_Lean_Widget_ins
lean_mark_persistent(l_Lean_Widget_instInhabitedInteractiveGoal___closed__1);
l_Lean_Widget_instInhabitedInteractiveGoal = _init_l_Lean_Widget_instInhabitedInteractiveGoal();
lean_mark_persistent(l_Lean_Widget_instInhabitedInteractiveGoal);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__1);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__2);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_823____rarg___closed__3);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__1);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__2);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_839____rarg___closed__3);
l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__1 = _init_l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__1();
lean_mark_persistent(l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__1);
l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__2 = _init_l_Array_forInUnsafe_loop___at_Lean_Widget_InteractiveGoal_pretty___spec__1___closed__2();
@ -10474,10 +10474,10 @@ l_Lean_Widget_instInhabitedInteractiveTermGoal___closed__3 = _init_l_Lean_Widget
lean_mark_persistent(l_Lean_Widget_instInhabitedInteractiveTermGoal___closed__3);
l_Lean_Widget_instInhabitedInteractiveTermGoal = _init_l_Lean_Widget_instInhabitedInteractiveTermGoal();
lean_mark_persistent(l_Lean_Widget_instInhabitedInteractiveTermGoal);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1735____rarg___closed__1);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2200____rarg___closed__1);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_1767____rarg___closed__1);
l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1 = _init_l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1();
lean_mark_persistent(l___private_Lean_Widget_InteractiveGoal_0__Lean_Widget_fromJsonRpcEncodingPacket____x40_Lean_Widget_InteractiveGoal___hyg_2248____rarg___closed__1);
l_Lean_Widget_goalToInteractive_ppVars___closed__1 = _init_l_Lean_Widget_goalToInteractive_ppVars___closed__1();
lean_mark_persistent(l_Lean_Widget_goalToInteractive_ppVars___closed__1);
l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlFromMAux___at_Lean_Widget_goalToInteractive___spec__4___closed__1 = _init_l___private_Std_Data_PersistentArray_0__Std_PersistentArray_foldlFromMAux___at_Lean_Widget_goalToInteractive___spec__4___closed__1();