chore: fix typing locations

leanprover · Oct 16, 2024 · 276850a · 276850a
1 parent 882858f
commit 276850a
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 16 deletions.
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.4",
+    "version": "0.7.5",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",
@@ -9,20 +9,16 @@
         "test": "tsc -p test/tsconfig.json"
     },
     "exports": {
-        ".": "./dist/index.production.min.js",
-        "./loader": "./dist/loader.production.min.js",
+        ".": {
+            "default": "./dist/index.production.min.js",
+            "types": "./dist/index.d.ts"
+        },
+        "./loader": {
+            "default": "./dist/loader.production.min.js",
+            "types": "./dist/loader.d.ts"
+        },
         "./package.json": "./package.json"
     },
-    "typesVersions": {
-        "*": {
-            "*": [
-                "dist/index.d.ts"
-            ],
-            "loader": [
-                "dist/loader.d.ts"
-            ]
-        }
-    },
     "files": [
         "dist/*"
     ],

diff --git a/package-lock.json b/package-lock.json
diff --git a/vscode-lean4/webview/tsconfig.json b/vscode-lean4/webview/tsconfig.json
@@ -5,7 +5,9 @@
         "strict": true,
         "lib": ["dom", "es6"],
         "rootDir": "../",
-        "sourceMap": true
+        "sourceMap": true,
+        "module": "esnext",
+        "moduleResolution": "bundler"
     },
     "include": ["./**/*"]
 }