From 1eca43f17c29e0ed651f147245a64bd17effc460 Mon Sep 17 00:00:00 2001
From: Varun Gandhi <varun.gandhi@sourcegraph.com>
Date: Mon, 4 Aug 2025 20:30:43 +0800
Subject: [PATCH] fix: Properly enable source maps in all modes

---
 packages/pyright-scip/index.js          | 2 +-
 packages/pyright-scip/webpack.config.js | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/packages/pyright-scip/index.js b/packages/pyright-scip/index.js
index 995ef7289..24b6506f1 100644
--- a/packages/pyright-scip/index.js
+++ b/packages/pyright-scip/index.js
@@ -1,4 +1,4 @@
-#!/usr/bin/env node
+#!/usr/bin/env node --enable-source-maps
 /* eslint-disable @typescript-eslint/ban-ts-comment */
 // @ts-nocheck
 
diff --git a/packages/pyright-scip/webpack.config.js b/packages/pyright-scip/webpack.config.js
index 00221a030..0b2977046 100644
--- a/packages/pyright-scip/webpack.config.js
+++ b/packages/pyright-scip/webpack.config.js
@@ -31,7 +31,9 @@ module.exports = (_, { mode }) => {
                 mode === 'development' ? '../[resource-path]' : monorepoResourceNameMapper('scip-python'),
             clean: true,
         },
-        devtool: mode === 'development' ? 'inline-source-map' : 'nosources-source-map',
+        // NOTE: Other settings for this value seem to show stack traces
+        // with mangled symbols that are not useful. Modify with care.
+        devtool: 'source-map',
         stats: {
             all: false,
             errors: true,