@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 +3 -3
- package/lemma.js +6 -6
- package/lemma_bg.wasm +0 -0
- package/lemma_bg.wasm.d.ts +3 -3
- package/package.json +3 -3
- package/snippets/wasm-streams-42e57edbcd526312/inline0.js +1 -0
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
|
|
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
|
|
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
|
|
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
|
|
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.
|
|
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
|
|
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.
|
|
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
|
|
865
|
-
wasm.
|
|
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
|
package/lemma_bg.wasm.d.ts
CHANGED
|
@@ -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
|
|
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
|
|
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
|
|
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.
|
|
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.
|
|
13
|
-
"
|
|
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"; }
|