This commit is contained in:
shenjack 2024-03-05 22:05:39 +08:00
parent f2cfcd1a40
commit 977f0cc614
Signed by: shenjack
GPG Key ID: 7B1134A979775551

View File

@ -1960,7 +1960,7 @@
cm: function cm() { }, cm: function cm() { },
lG(a, b) { lG(a, b) {
var s = b.c var s = b.c
return s == null ? b.c = H.hW(a, b.z, !0) : s return s == null ? b.c = H.universe_lookup_question_Rti(a, b.z, !0) : s
}, },
je(a, b) { je(a, b) {
var s = b.c var s = b.c
@ -1990,17 +1990,17 @@
s = b.z s = b.z
r = H.az(a, s, a0, a1) r = H.az(a, s, a0, a1)
if (r === s) return b if (r === s) return b
return H.jw(a, r, !0) return H.universe_lookup_star_Rti(a, r, !0)
case 7: case 7:
s = b.z s = b.z
r = H.az(a, s, a0, a1) r = H.az(a, s, a0, a1)
if (r === s) return b if (r === s) return b
return H.hW(a, r, !0) return H.universe_lookup_question_Rti(a, r, !0)
case 8: case 8:
s = b.z s = b.z
r = H.az(a, s, a0, a1) r = H.az(a, s, a0, a1)
if (r === s) return b if (r === s) return b
return H.jv(a, r, !0) return H.universe_lookup_future_or_Rti(a, r, !0)
case 9: case 9:
q = b.Q q = b.Q
p = H.cy(a, q, a0, a1) p = H.cy(a, q, a0, a1)
@ -2012,14 +2012,14 @@
m = b.Q m = b.Q
l = H.cy(a, m, a0, a1) l = H.cy(a, m, a0, a1)
if (n === o && l === m) return b if (n === o && l === m) return b
return H.hU(a, n, l) return H.universe_lookup_binding_Rti(a, n, l)
case 11: case 11:
k = b.z k = b.z
j = H.az(a, k, a0, a1) j = H.az(a, k, a0, a1)
i = b.Q i = b.Q
h = H.mX(a, i, a0, a1) h = H.mX(a, i, a0, a1)
if (j === k && h === i) return b if (j === k && h === i) return b
return H.ju(a, j, h) return H._Universe__lookupFunctionRti(a, j, h)
case 12: case 12:
g = b.Q g = b.Q
a1 += g.length a1 += g.length
@ -2027,7 +2027,7 @@
o = b.z o = b.z
n = H.az(a, o, a0, a1) n = H.az(a, o, a0, a1)
if (f === g && n === o) return b if (f === g && n === o) return b
return H.hV(a, n, f, !0) return H.universe_lookup_generic_function_Rti(a, n, f, !0)
case 13: case 13:
e = b.z e = b.z
if (e < a1) return b if (e < a1) return b
@ -2070,7 +2070,7 @@
n = b.c, n = b.c,
m = H.mY(a, n, c, d) m = H.mY(a, n, c, d)
if (q === r && o === p && m === n) return b if (q === r && o === p && m === n) return b
s = new H.dP() s = new H.function_parameters()
s.a = q s.a = q
s.b = o s.b = o
s.c = m s.c = m
@ -2499,7 +2499,7 @@
s = c.cy s = c.cy
r = p.get(s) r = p.get(s)
if (r != null) return r if (r != null) return r
q = H.hU(a, b, c.y === 10 ? c.Q : [c]) q = H.universe_lookup_binding_Rti(a, b, c.y === 10 ? c.Q : [c])
p.set(s, q) p.set(s, q)
return q return q
}, },
@ -2518,7 +2518,7 @@
a.eC.set(c, r) a.eC.set(c, r)
return r return r
}, },
jw(a, b, c) { universe_lookup_star_Rti(a, b, c) {
var s, r = b.cy + "*", var s, r = b.cy + "*",
q = a.eC.get(r) q = a.eC.get(r)
if (q != null) return q if (q != null) return q
@ -2540,7 +2540,7 @@
q.cy = c q.cy = c
return H.ax(a, q) return H.ax(a, q)
}, },
hW(a, b, c) { universe_lookup_question_Rti(a, b, c) {
var s, r = b.cy + "?", var s, r = b.cy + "?",
q = a.eC.get(r) q = a.eC.get(r)
if (q != null) return q if (q != null) return q
@ -2572,7 +2572,7 @@
p.cy = c p.cy = c
return H.ax(a, p) return H.ax(a, p)
}, },
jv(a, b, c) { universe_lookup_future_or_Rti(a, b, c) {
var s, r = b.cy + "/", var s, r = b.cy + "/",
q = a.eC.get(r) q = a.eC.get(r)
if (q != null) return q if (q != null) return q
@ -2598,7 +2598,7 @@
q.cy = c q.cy = c
return H.ax(a, q) return H.ax(a, q)
}, },
universe_lookup_generic_function_parameter_Rti(a, b) { parser_handle_identifier(a, b) {
var s, r, q = "" + b + "^", var s, r, q = "" + b + "^",
p = a.eC.get(q) p = a.eC.get(q)
if (p != null) return p if (p != null) return p
@ -2640,7 +2640,7 @@
a.eC.set(p, q) a.eC.set(p, q)
return q return q
}, },
hU(a, b, c) { universe_lookup_binding_Rti(a, b, c) {
var s, r, q, p, o, n var s, r, q, p, o, n
if (b.y === 10) { if (b.y === 10) {
s = b.z s = b.z
@ -2661,7 +2661,7 @@
a.eC.set(q, n) a.eC.set(q, n)
return n return n
}, },
ju(a, b, c) { _Universe__lookupFunctionRti(a, b, c) {
var s, r, q, p, o, n = b.cy, var s, r, q, p, o, n = b.cy,
m = c.a, m = c.a,
l = m.length, l = m.length,
@ -2692,7 +2692,7 @@
a.eC.set(q, r) a.eC.set(q, r)
return r return r
}, },
hV(a, b, c, d) { universe_lookup_generic_function_Rti(a, b, c, d) {
var s, r = b.cy + ("<" + H.e3(c) + ">"), var s, r = b.cy + ("<" + H.e3(c) + ">"),
q = a.eC.get(r) q = a.eC.get(r)
if (q != null) return q if (q != null) return q
@ -2715,7 +2715,7 @@
if (q > 0) { if (q > 0) {
n = H.az(a, b, r, 0) n = H.az(a, b, r, 0)
m = H.cy(a, c, r, 0) m = H.cy(a, c, r, 0)
return H.hV(a, n, m, c !== m) return H.universe_lookup_generic_function_Rti(a, n, m, c !== m)
} }
} }
l = new H.a1(null, null) l = new H.a1(null, null)
@ -2736,13 +2736,13 @@
} }
}, },
parser_parse(parser) { parser_parse(parser) {
var s, r, q, p, o, n, m, l, k, j, i, h, source = parser.r, var s, r, q, p, o, head, m, l, k, optional_positinoal, named, h, source = parser.r,
t1 = parser.s t1 = parser.s
for (s = source.length, r = 0; r < s;) { for (s = source.length, r = 0; r < s;) {
q = source.charCodeAt(r) q = source.charCodeAt(r)
if (q >= 48 && q <= 57) r = H.m0(r + 1, q, source, t1) if (q >= 48 && q <= 57) r = H.m0(r + 1, q, source, t1)
else if ((((q | 32) >>> 0) - 97 & 65535) < 26 || q === 95 || q === 36) r = H.universe_lookup_generic_function_parameter_Rti(parser, r, source, t1, !1) else if ((((q | 32) >>> 0) - 97 & 65535) < 26 || q === 95 || q === 36) r = H.parser_handle_identifier(parser, r, source, t1, !1)
else if (q === 46) r = H.universe_lookup_generic_function_parameter_Rti(parser, r, source, t1, !0) else if (q === 46) r = H.parser_handle_identifier(parser, r, source, t1, !0)
else { else {
++r ++r
switch (q) { switch (q) {
@ -2758,7 +2758,7 @@
t1.push(H.parser_to_type(parser.u, parser.e, t1.pop())) t1.push(H.parser_to_type(parser.u, parser.e, t1.pop()))
break break
case 94: case 94:
t1.push(H.universe_lookup_generic_function_parameter_Rti(parser.u, t1.pop())) t1.push(H.parser_handle_identifier(parser.u, t1.pop()))
break break
case 35: case 35:
t1.push(H.universe_lookup_terminal_Rti(parser.u, 5, "#")) t1.push(H.universe_lookup_terminal_Rti(parser.u, 5, "#"))
@ -2776,36 +2776,36 @@
case 62: case 62:
p = parser.u p = parser.u
o = t1.splice(parser.p) o = t1.splice(parser.p)
H.hT(parser.u, parser.e, o) H.parser_to_types(parser.u, parser.e, o)
parser.p = t1.pop() parser.p = t1.pop()
n = t1.pop() head = t1.pop()
if (typeof n == "string") t1.push(H.cr(p, n, o)) if (typeof head == "string") t1.push(H.cr(p, head, o))
else { else {
m = H.parser_to_type(p, parser.e, n) m = H.parser_to_type(p, parser.e, head)
switch (m.y) { switch (m.y) {
case 11: case 11:
t1.push(H.hV(p, m, o, parser.n)) t1.push(H.universe_lookup_generic_function_Rti(p, m, o, parser.n))
break break
default: default:
t1.push(H.hU(p, m, o)) t1.push(H.universe_lookup_binding_Rti(p, m, o))
break break
} }
} }
break break
case 38: case 38:
H.m1(parser, t1) H.parser_handle_extended_operations(parser, t1)
break break
case 42: case 42:
l = parser.u l = parser.u
t1.push(H.jw(l, H.parser_to_type(l, parser.e, t1.pop()), parser.n)) t1.push(H.universe_lookup_star_Rti(l, H.parser_to_type(l, parser.e, t1.pop()), parser.n))
break break
case 63: case 63:
l = parser.u l = parser.u
t1.push(H.hW(l, H.parser_to_type(l, parser.e, t1.pop()), parser.n)) t1.push(H.universe_lookup_question_Rti(l, H.parser_to_type(l, parser.e, t1.pop()), parser.n))
break break
case 47: case 47:
l = parser.u l = parser.u
t1.push(H.jv(l, H.parser_to_type(l, parser.e, t1.pop()), parser.n)) t1.push(H.universe_lookup_future_or_Rti(l, H.parser_to_type(l, parser.e, t1.pop()), parser.n))
break break
case 40: case 40:
t1.push(parser.p) t1.push(parser.p)
@ -2813,28 +2813,28 @@
break break
case 41: case 41:
p = parser.u p = parser.u
k = new H.dP() k = new H.function_parameters()
j = p.sEA optional_positinoal = p.sEA
i = p.sEA named = p.sEA
n = t1.pop() head = t1.pop()
if (typeof n == "number") switch (n) { if (typeof head == "number") switch (head) {
case -1: case -1:
j = t1.pop() optional_positinoal = t1.pop()
break break
case -2: case -2:
i = t1.pop() named = t1.pop()
break break
default: default:
t1.push(n) t1.push(head)
break break
} else t1.push(n) } else t1.push(head)
o = t1.splice(parser.p) o = t1.splice(parser.p)
H.hT(parser.u, parser.e, o) H.parser_to_types(parser.u, parser.e, o)
parser.p = t1.pop() parser.p = t1.pop()
k.a = o k.a = o
k.b = j k.b = optional_positinoal
k.c = i k.c = named
t1.push(H.ju(p, H.parser_to_type(p, parser.e, t1.pop()), k)) t1.push(H._Universe__lookupFunctionRti(p, H.parser_to_type(p, parser.e, t1.pop()), k))
break break
case 91: case 91:
t1.push(parser.p) t1.push(parser.p)
@ -2842,7 +2842,7 @@
break break
case 93: case 93:
o = t1.splice(parser.p) o = t1.splice(parser.p)
H.hT(parser.u, parser.e, o) H.parser_to_types(parser.u, parser.e, o)
parser.p = t1.pop() parser.p = t1.pop()
t1.push(o) t1.push(o)
t1.push(-1) t1.push(-1)
@ -2853,7 +2853,7 @@
break break
case 125: case 125:
o = t1.splice(parser.p) o = t1.splice(parser.p)
H.m3(parser.u, parser.e, o) H.parser_to_types_named(parser.u, parser.e, o)
parser.p = t1.pop() parser.p = t1.pop()
t1.push(o) t1.push(o)
t1.push(-2) t1.push(-2)
@ -2876,10 +2876,10 @@
d.push(q) d.push(q)
return a return a
}, },
universe_lookup_generic_function_parameter_Rti(a, b, c, d, e) { parser_handle_identifier(a, b, source, d, e) {
var s, r, q, p, o, n, m = b + 1 var s, r, q, p, o, n, m = b + 1
for (s = c.length; m < s; ++m) { for (s = source.length; m < s; ++m) {
r = c.charCodeAt(m) r = source.charCodeAt(m)
if (r === 46) { if (r === 46) {
if (e) break if (e) break
e = !0 e = !0
@ -2889,7 +2889,7 @@
if (!q) break if (!q) break
} }
} }
p = c.substring(b, m) p = source.substring(b, m)
if (e) { if (e) {
s = a.u s = a.u
o = a.e o = a.e
@ -2900,7 +2900,7 @@
} else d.push(p) } else d.push(p)
return m return m
}, },
m1(a, b) { parser_handle_extended_operations(a, b) {
var s = b.pop() var s = b.pop()
if (0 === s) { if (0 === s) {
b.push(H.universe_lookup_terminal_Rti(a.u, 1, "0&")) b.push(H.universe_lookup_terminal_Rti(a.u, 1, "0&"))
@ -2917,11 +2917,11 @@
else if (typeof c == "number") return H.m2(a, b, c) else if (typeof c == "number") return H.m2(a, b, c)
else return c else return c
}, },
hT(a, b, c) { parser_to_types(a, b, c) {
var s, r = c.length var s, r = c.length
for (s = 0; s < r; ++s) c[s] = H.parser_to_type(a, b, c[s]) for (s = 0; s < r; ++s) c[s] = H.parser_to_type(a, b, c[s])
}, },
m3(a, b, c) { parser_to_types_named(a, b, c) {
var s, r = c.length var s, r = c.length
for (s = 2; s < r; s += 3) c[s] = H.parser_to_type(a, b, c[s]) for (s = 2; s < r; s += 3) c[s] = H.parser_to_type(a, b, c[s])
}, },
@ -3130,7 +3130,7 @@
_.y = 0 _.y = 0
_.cy = _.cx = _.ch = _.Q = _.z = null _.cy = _.cx = _.ch = _.Q = _.z = null
}, },
dP: function dP() { function_parameters: function dP() {
this.c = this.b = this.a = null this.c = this.b = this.a = null
}, },
e2: function e2(a) { e2: function e2(a) {
@ -6949,7 +6949,7 @@
return H.me(v.typeUniverse, this, a) return H.me(v.typeUniverse, this, a)
} }
} }
H.dP.prototype = {} H.function_parameters.prototype = {}
H.e2.prototype = { H.e2.prototype = {
j(a) { j(a) {
return H.U(this.a, null) return H.U(this.a, null)
@ -10727,7 +10727,7 @@
_inherit = hunkHelpers.inherit, _inherit = hunkHelpers.inherit,
_inherit_many = hunkHelpers.inheritMany _inherit_many = hunkHelpers.inheritMany
_inherit(P.Object, null) _inherit(P.Object, null)
_inherit_many(P.Object, [H.Js_Const, J.Interceptor, J.ArrayIterator, P.Error, P.cg, H.aG, P.r, H.a5, P.cV, H.bJ, H.dC, H.bi, P.bV, H.bD, H.eD, H.fc, H.eY, H.bI, H.StackTrace, H.fM, P.bb, H.eI, H.d1, H.b8, H.ch, H.dH, H.dv, H.fT, H.a1, H.dP, H.e2, P.fY, P.dI, P.cE, P.dL, P.bs, P.v, P.dJ, P.c6, P.dt, P.du, P.dX, P.h5, P.cu, P.fL, P.dS, P.k, P.e4, P.c4, P.cK, P.fr, P.fq, P.h2, P.h1, P.b2, P.b3, P.OutOfMemoryError, P.StackOverflowError, P.fw, P.ey, P.u, P.dZ, P.bh, W.ep, W.hL, W.bt, W.bM, W.c0, W.co, W.e0, W.bK, W.fs, W.fQ, W.e5, P.fU, P.fk, P.W, P.eX, P.fJ, O.b6, O.eA, O.cS, O.ei, O.ej, O.en, O.el, O.fb, O.f5, Y.ag, N.cP, N.f0, S.dd, G.cY, G.d3, G.cH, Q.dV, V.dk, V.eC, D.f2, D.f1, Y.dm]) _inherit_many(P.Object, [H.Js_Const, J.Interceptor, J.ArrayIterator, P.Error, P.cg, H.aG, P.r, H.a5, P.cV, H.bJ, H.dC, H.bi, P.bV, H.bD, H.eD, H.fc, H.eY, H.bI, H.StackTrace, H.fM, P.bb, H.eI, H.d1, H.b8, H.ch, H.dH, H.dv, H.fT, H.a1, H.function_parameters, H.e2, P.fY, P.dI, P.cE, P.dL, P.bs, P.v, P.dJ, P.c6, P.dt, P.du, P.dX, P.h5, P.cu, P.fL, P.dS, P.k, P.e4, P.c4, P.cK, P.fr, P.fq, P.h2, P.h1, P.b2, P.b3, P.OutOfMemoryError, P.StackOverflowError, P.fw, P.ey, P.u, P.dZ, P.bh, W.ep, W.hL, W.bt, W.bM, W.c0, W.co, W.e0, W.bK, W.fs, W.fQ, W.e5, P.fU, P.fk, P.W, P.eX, P.fJ, O.b6, O.eA, O.cS, O.ei, O.ej, O.en, O.el, O.fb, O.f5, Y.ag, N.cP, N.f0, S.dd, G.cY, G.d3, G.cH, Q.dV, V.dk, V.eC, D.f2, D.f1, Y.dm])
_inherit_many(J.Interceptor, [J.cW, J.bQ, J.as, J.p, J.aJ, J.ar, H.bX, H.A, W.cQ, W.aE, W.eo, W.dM, W.er, W.es, W.c, W.bL, W.d4, W.dT, W.dW, W.e6, P.bR]) _inherit_many(J.Interceptor, [J.cW, J.bQ, J.as, J.p, J.aJ, J.ar, H.bX, H.A, W.cQ, W.aE, W.eo, W.dM, W.er, W.es, W.c, W.bL, W.d4, W.dT, W.dW, W.e6, P.bR])
_inherit_many(J.as, [J.dh, J.av, J.ad]) _inherit_many(J.as, [J.dh, J.av, J.ad])
_inherit(J.eE, J.p) _inherit(J.eE, J.p)