H.ob -> H.error_compose

This commit is contained in:
shenjack 2024-03-19 22:12:54 +08:00
parent 8c8b6d83ca
commit 3c8a73e142
Signed by: shenjack
GPG Key ID: 7B1134A979775551

View File

@ -1978,9 +1978,9 @@
H.oo(a, s) H.oo(a, s)
}, },
oo(a, b) { oo(a, b) {
throw H.h(H.u_(H.ob(a, H.oE(a, b), H.rti_to_string(b, null)))) throw H.h(H.u_(H.error_compose(a, H.oE(a, b), H.rti_to_string(b, null))))
}, },
ob(a, b, c) { error_compose(a, b, c) {
var s = P.jh(a), var s = P.jh(a),
r = H.rti_to_string(b == null ? H.b_(a) : b, null) r = H.rti_to_string(b == null ? H.b_(a) : b, null)
return s + ": type '" + H.e(r) + "' is not a subtype of type '" + H.e(c) + "'" return s + ": type '" + H.e(r) + "' is not a subtype of type '" + H.e(c) + "'"
@ -1989,7 +1989,7 @@
return new H.eI("TypeError: " + a) return new H.eI("TypeError: " + a)
}, },
aC(a, b) { aC(a, b) {
return new H.eI("TypeError: " + H.ob(a, null, b)) return new H.eI("TypeError: " + H.error_compose(a, null, b))
}, },
uq(a) { uq(a) {
return a != null return a != null