@benrogmans/lemma-engine 0.8.1 → 0.8.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/lemma.d.ts CHANGED
@@ -138,11 +138,11 @@ export interface InitOutput {
138
138
  readonly wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
139
139
  readonly wasmengine_listSpecs: (a: number, b: number) => void;
140
140
  readonly wasmengine_new: () => number;
141
- readonly __wasm_bindgen_func_elem_9296: (a: number, b: number) => void;
141
+ readonly __wasm_bindgen_func_elem_9297: (a: number, b: number) => void;
142
142
  readonly __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
143
- readonly __wasm_bindgen_func_elem_10439: (a: number, b: number, c: number, d: number) => void;
143
+ readonly __wasm_bindgen_func_elem_10440: (a: number, b: number, c: number, d: number) => void;
144
144
  readonly __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
145
- readonly __wasm_bindgen_func_elem_10458: (a: number, b: number, c: number, d: number) => void;
145
+ readonly __wasm_bindgen_func_elem_10459: (a: number, b: number, c: number, d: number) => void;
146
146
  readonly __wbindgen_export: (a: number, b: number) => number;
147
147
  readonly __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
148
148
  readonly __wbindgen_export3: (a: number) => void;
package/lemma.js CHANGED
@@ -659,7 +659,7 @@ function __wbg_get_imports() {
659
659
  const a = state0.a;
660
660
  state0.a = 0;
661
661
  try {
662
- return __wasm_bindgen_func_elem_10458(a, state0.b, arg0, arg1);
662
+ return __wasm_bindgen_func_elem_10459(a, state0.b, arg0, arg1);
663
663
  } finally {
664
664
  state0.a = a;
665
665
  }
@@ -801,7 +801,7 @@ function __wbg_get_imports() {
801
801
  },
802
802
  __wbindgen_cast_0000000000000001: function(arg0, arg1) {
803
803
  // Cast intrinsic for `Closure(Closure { dtor_idx: 1185, function: Function { arguments: [Externref], shim_idx: 1238, ret: Result(Unit), inner_ret: Some(Result(Unit)) }, mutable: true }) -> Externref`.
804
- const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9296, __wasm_bindgen_func_elem_10439);
804
+ const ret = makeMutClosure(arg0, arg1, wasm.__wasm_bindgen_func_elem_9297, __wasm_bindgen_func_elem_10440);
805
805
  return addHeapObject(ret);
806
806
  },
807
807
  __wbindgen_cast_0000000000000002: function(arg0, arg1) {
@@ -833,10 +833,10 @@ function __wbg_get_imports() {
833
833
  };
834
834
  }
835
835
 
836
- function __wasm_bindgen_func_elem_10439(arg0, arg1, arg2) {
836
+ function __wasm_bindgen_func_elem_10440(arg0, arg1, arg2) {
837
837
  try {
838
838
  const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
839
- wasm.__wasm_bindgen_func_elem_10439(retptr, arg0, arg1, addHeapObject(arg2));
839
+ wasm.__wasm_bindgen_func_elem_10440(retptr, arg0, arg1, addHeapObject(arg2));
840
840
  var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
841
841
  var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
842
842
  if (r1) {
@@ -861,8 +861,8 @@ function __wasm_bindgen_func_elem_2709(arg0, arg1, arg2) {
861
861
  }
862
862
  }
863
863
 
864
- function __wasm_bindgen_func_elem_10458(arg0, arg1, arg2, arg3) {
865
- wasm.__wasm_bindgen_func_elem_10458(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
864
+ function __wasm_bindgen_func_elem_10459(arg0, arg1, arg2, arg3) {
865
+ wasm.__wasm_bindgen_func_elem_10459(arg0, arg1, addHeapObject(arg2), addHeapObject(arg3));
866
866
  }
867
867
 
868
868
 
package/lemma_bg.wasm CHANGED
Binary file
@@ -36,11 +36,11 @@ export const wasmengine_getSchemaEffective: (a: number, b: number, c: number, d:
36
36
  export const wasmengine_invert: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number, j: number) => void;
37
37
  export const wasmengine_listSpecs: (a: number, b: number) => void;
38
38
  export const wasmengine_new: () => number;
39
- export const __wasm_bindgen_func_elem_9296: (a: number, b: number) => void;
39
+ export const __wasm_bindgen_func_elem_9297: (a: number, b: number) => void;
40
40
  export const __wasm_bindgen_func_elem_356: (a: number, b: number) => void;
41
- export const __wasm_bindgen_func_elem_10439: (a: number, b: number, c: number, d: number) => void;
41
+ export const __wasm_bindgen_func_elem_10440: (a: number, b: number, c: number, d: number) => void;
42
42
  export const __wasm_bindgen_func_elem_2709: (a: number, b: number, c: number, d: number) => void;
43
- export const __wasm_bindgen_func_elem_10458: (a: number, b: number, c: number, d: number) => void;
43
+ export const __wasm_bindgen_func_elem_10459: (a: number, b: number, c: number, d: number) => void;
44
44
  export const __wbindgen_export: (a: number, b: number) => number;
45
45
  export const __wbindgen_export2: (a: number, b: number, c: number, d: number) => number;
46
46
  export const __wbindgen_export3: (a: number) => void;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@benrogmans/lemma-engine",
3
- "version": "0.8.1",
3
+ "version": "0.8.2",
4
4
  "description": "Language Server Protocol implementation for Lemma",
5
5
  "type": "module",
6
6
  "main": "lemma.js",
@@ -9,8 +9,8 @@
9
9
  "lemma_bg.wasm",
10
10
  "lemma.js",
11
11
  "lemma.d.ts",
12
- "lemma_bg.js",
13
- "lemma_bg.wasm.d.ts"
12
+ "lemma_bg.wasm.d.ts",
13
+ "snippets"
14
14
  ],
15
15
  "keywords": [
16
16
  "wasm",
@@ -0,0 +1 @@
1
+ export function bytes_literal() { return "bytes"; }