Add skipLibCheck to ignore a type error in js-slang

Author: leeyi45

eslint.config.js

@@ -74,7 +74,11 @@ export default tseslint.config(
       '@stylistic': stylePlugin,
     },
     rules: {
+      'import/first': 'warn',
+      'import/newline-after-import': 'warn',
+      'import/no-cycle': 'error',
       'import/no-duplicates': ['warn', { 'prefer-inline': false }],
+      'import/no-useless-path-segments': 'error',
       'import/order': [
         'warn',
         {
@@ -252,7 +256,7 @@ export default tseslint.config(
     name: 'Specifically for buildtools',
     files: ['lib/buildtools/**/*.ts'],
     rules: {
-      'import/extensions': 'off'
+      'import/extensions': ['error', 'ignorePackages']
     }
   },
 );

src/tsconfig.json

@@ -16,6 +16,7 @@
     "module": "esnext",
     /* Specify the module resolution strategy: 'node' (Node.js) or 'classic' (used in TypeScript before the release of 1.6). */
     "moduleResolution": "bundler",
+    "skipLibCheck": true,
 
     /* Allows importing modules with a ‘.json’ extension, which is a common practice in node projects. */
     "resolveJsonModule": true,