Repair record decoders

This commit is contained in:
Tony Garnock-Jones 2021-03-12 20:42:53 +01:00
parent 1cc0325007
commit d502249c53
1 changed files with 0 additions and 14 deletions

View File

@ -146,7 +146,6 @@ export function decodeSchema(d: _.TypedDecoder<_ptr>): Schema | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = ((() => {
const M = d.mark();
const r = d.next();
@ -345,7 +344,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = (
_.checkIs(d.nextSymbol(), $Boolean) ??
_.checkIs(d.nextSymbol(), $Float) ??
@ -391,7 +389,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };
return [] as [];
})())) as any;
@ -405,7 +402,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = d.next(); if (v0 === void 0) { d.restoreMark(M); return void 0; };
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };
return [v0] as [_val];
@ -421,7 +417,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = ((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
@ -444,7 +439,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = ((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
@ -467,7 +461,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = decodePattern(d); if (v0 === void 0) { d.restoreMark(M); return void 0; };
const v1 = decodePattern(d); if (v1 === void 0) { d.restoreMark(M); return void 0; };
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };
@ -483,7 +476,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = ((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
@ -506,7 +498,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = ((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
@ -530,7 +521,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = decodePattern(d); if (v0 === void 0) { d.restoreMark(M); return void 0; };
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };
return [v0] as [Pattern];
@ -545,7 +535,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = decodePattern(d); if (v0 === void 0) { d.restoreMark(M); return void 0; };
const v1 = decodePattern(d); if (v1 === void 0) { d.restoreMark(M); return void 0; };
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };
@ -561,7 +550,6 @@ export function decodePattern(d: _.TypedDecoder<_ptr>): Pattern | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = ((() => {
const M = d.mark();
if (!d.openDictionary()) return void 0;
@ -608,7 +596,6 @@ export function decodeNamedPattern(d: _.TypedDecoder<_ptr>): NamedPattern | unde
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = d.nextSymbol(); if (v0 === void 0) { d.restoreMark(M); return void 0; };
const v1 = decodePattern(d); if (v1 === void 0) { d.restoreMark(M); return void 0; };
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };
@ -641,7 +628,6 @@ export function decodeRef(d: _.TypedDecoder<_ptr>): Ref | undefined {
if (L === void 0) { d.restoreMark(M); return void 0; };
const Fs = (((() => {
const M = d.mark();
if (!d.openSequence()) return void 0;
const v0 = decodeModuleRef(d); if (v0 === void 0) { d.restoreMark(M); return void 0; };
const v1 = d.nextSymbol(); if (v1 === void 0) { d.restoreMark(M); return void 0; };
if (!d.closeCompound()) { d.restoreMark(M); return void 0; };