From 942fb79a2e48f24079e25080aea890e7ba27ff90 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 12 Mar 2021 11:14:39 +0100 Subject: [PATCH] Regenerate schema --- .../javascript/packages/schema/src/gen/schema.ts | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/implementations/javascript/packages/schema/src/gen/schema.ts b/implementations/javascript/packages/schema/src/gen/schema.ts index 75e6a7a..ac53a40 100644 --- a/implementations/javascript/packages/schema/src/gen/schema.ts +++ b/implementations/javascript/packages/schema/src/gen/schema.ts @@ -1,8 +1,5 @@ import * as _ from "@preserves/core"; -export type _ptr = never; -export type _val = _.Value<_ptr>; - export const $1 = 1; export const $Boolean = Symbol.for("Boolean"); export const $ByteString = Symbol.for("ByteString"); @@ -35,7 +32,7 @@ export const Schema = _.Record.makeConstructor<{ { get(k: typeof $version): Version; get(k: typeof $pointer): PointerName; - get(k: typeof $definitions): _.KeyedDictionary; + get(k: typeof $definitions): _.KeyedDictionary; has(k: typeof $version): true; has(k: typeof $pointer): true; has(k: typeof $definitions): true; @@ -50,7 +47,7 @@ export type Schema = _.Record< { get(k: typeof $version): Version; get(k: typeof $pointer): PointerName; - get(k: typeof $definitions): _.KeyedDictionary; + get(k: typeof $definitions): _.KeyedDictionary; has(k: typeof $version): true; has(k: typeof $pointer): true; has(k: typeof $definitions): true; @@ -90,7 +87,7 @@ export type Pattern = ( _.Record<(typeof $tuple_STAR_), [Array, NamedPattern], _ptr> | _.Record<(typeof $setof), [Pattern], _ptr> | _.Record<(typeof $dictof), [Pattern, Pattern], _ptr> | - _.Record<(typeof $dict), [_.KeyedDictionary<_val, Pattern>], _ptr> + _.Record<(typeof $dict), [_.KeyedDictionary<_val, Pattern, _ptr>], _ptr> ); export type NamedPattern = (_.Record<(typeof $named), [symbol, Pattern], _ptr> | Pattern); @@ -103,6 +100,10 @@ export type ModuleRef = ((typeof $thisModule) | ModulePath); export type ModulePath = Array; +export type _ptr = never; + +export type _val = _.Value<_ptr>; + export function isSchema(v: any): v is Schema { let _tmp0, _tmp1, _tmp2: any;