diff --git a/lib/js/src/Util/AVLTree.bs.js b/lib/js/src/Util/AVLTree.bs.js index c92354b6..6071c8fd 100644 --- a/lib/js/src/Util/AVLTree.bs.js +++ b/lib/js/src/Util/AVLTree.bs.js @@ -3,7 +3,7 @@ var Caml_option = require("rescript/lib/js/caml_option.js"); var Core__Option = require("@rescript/core/lib/js/src/Core__Option.bs.js"); -var BinarySearchTree = require("@datastructures-js/binary-search-tree"); +var BinarySearchTree = require("@andy0130tw/binary-search-tree"); function getValue(self) { return self.getValue()[1]; @@ -106,4 +106,4 @@ exports.remove = remove; exports.toArray = toArray; exports.forEach = forEach; exports.forEachWithIndex = forEachWithIndex; -/* @datastructures-js/binary-search-tree Not a pure module */ +/* @andy0130tw/binary-search-tree Not a pure module */ diff --git a/package-lock.json b/package-lock.json index 57783d08..ed2f8753 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,14 +1,14 @@ { "name": "agda-mode", - "version": "0.6.2", + "version": "0.7.9", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "agda-mode", - "version": "0.6.2", + "version": "0.7.9", "dependencies": { - "@datastructures-js/binary-search-tree": "^5.3.2", + "@andy0130tw/binary-search-tree": "^5.3.2-fork.0", "@glennsl/rescript-fetch": "^v0.2.3", "@glennsl/rescript-json-combinators": "^1.4.0", "@rescript/core": "^1.3.0", @@ -53,10 +53,10 @@ "vscode": "^1.94.0" } }, - "node_modules/@datastructures-js/binary-search-tree": { - "version": "5.3.2", - "resolved": "https://registry.npmjs.org/@datastructures-js/binary-search-tree/-/binary-search-tree-5.3.2.tgz", - "integrity": "sha512-8Y6SqH9wncY5HQMWbazjADyI5Sjop7VFVTPAcYoWWE8pHIVmAuS2CWCQ5wgwNEPUAnJMUz5idRTXmjtl5gwDCQ==", + "node_modules/@andy0130tw/binary-search-tree": { + "version": "5.3.2-fork.0", + "resolved": "https://registry.npmjs.org/@andy0130tw/binary-search-tree/-/binary-search-tree-5.3.2-fork.0.tgz", + "integrity": "sha512-VmLynZGMQRroG9Hw1c9KnLYjcfOnIjh9TgsTz7KirSEyfyADhgo0xwKG2AQRzEnb9epc18XL8Wd98VPTZStz7A==", "license": "MIT" }, "node_modules/@discoveryjs/json-ext": { diff --git a/package.json b/package.json index 88bfb60a..80385dd6 100644 --- a/package.json +++ b/package.json @@ -48,7 +48,7 @@ "webpack-node-externals": "^3.0.0" }, "dependencies": { - "@datastructures-js/binary-search-tree": "^5.3.2", + "@andy0130tw/binary-search-tree": "^5.3.2-fork.0", "@glennsl/rescript-fetch": "^v0.2.3", "@glennsl/rescript-json-combinators": "^1.4.0", "@rescript/core": "^1.3.0", diff --git a/src/Util/AVLTree.res b/src/Util/AVLTree.res index a116244b..7d32e279 100644 --- a/src/Util/AVLTree.res +++ b/src/Util/AVLTree.res @@ -19,7 +19,7 @@ type options = {key?: string} // Constructor //////////////////////////////////////////////////////////////////////////////// -@module("@datastructures-js/binary-search-tree") @new +@module("@andy0130tw/binary-search-tree") @new external makeInner: (~compare: compareFunction<'a>=?, ~options: options=?, unit) => t<'a> = "BinarySearchTree"