Interestingly, this test with the Other crashes HDB when setting the second breakpoint...

Author: alt-romes

test/haskell/Test/Integration/Evaluate.hs

@@ -4,6 +4,7 @@
 module Test.Integration.Evaluate (evaluateTests) where
 
 import Control.Monad.IO.Class (liftIO)
+import Data.List (isInfixOf)
 import Test.DAP
 import Test.Tasty
 import Test.Tasty.HUnit
@@ -42,24 +43,38 @@ evaluateStructured =
       disconnect
 
 -- | Test that bindings from imported modules are available when evaluating
--- expressions at a breakpoint (issue #233).
+-- expressions at a breakpoint (issue #233), and that they are NOT available
+-- when stopped in a different module that doesn't import them.
 evaluateImportedBindings :: Assertion
 evaluateImportedBindings =
   withTestDAPServer "test/integration/T233" [] $ \test_dir server ->
     withTestDAPServerClient server $ do
       let cfg = mkLaunchConfig test_dir "T233.hs"
-      hitBreakpointWith cfg 14
 
-      -- sort is imported from Data.List
+      _ <- sync $ launchWith cfg
+      waitFiltering_ EventTy "initialized"
+      -- T233.hs imports Data.Map.Strict as Map; Other.hs does not
+      _ <- sync $ setLineBreakpoints test_dir "T233.hs" [15]
+      _ <- sync $ setLineBreakpoints test_dir "Other.hs" [4] -- TODO: Crashes here!
+      _ <- sync configurationDone
+      _ <- assertStoppedLocation DAP.StoppedEventReasonBreakpoint 15
+
+      -- Stopped in T233.hs which imports Data.List and Data.Map.Strict as Map
       sortResp <- evaluate "show (sort xs)"
       liftIO $ assertEqual "sort xs result" "\"[1,1,2,3,4,5,6,9]\"" (DAP.evaluateResponseResult sortResp)
 
-      -- nub is imported from Data.List
-      nubResp <- evaluate "show (nub xs)"
-      liftIO $ assertEqual "nub xs result" "\"[3,1,4,5,9,2,6]\"" (DAP.evaluateResponseResult nubResp)
-
-      -- Map is a qualified import
       mapResp <- evaluate "show (Map.lookup \"a\" m)"
       liftIO $ assertEqual "Map.lookup result" "\"Just 1\"" (DAP.evaluateResponseResult mapResp)
 
+      -- Resume and stop at breakpoint in Other.hs, which does not import Map
+      continueThread 0
+      _ <- assertStoppedLocation DAP.StoppedEventReasonBreakpoint 4
+
+      -- Map is not imported in Other.hs; evaluating Map.fromList should fail
+      mapFailResp <- evaluate "Map.fromList [(1,'a')]"
+      let result = DAP.evaluateResponseResult mapFailResp
+      liftIO $ assertBool
+        ("expected 'not in scope' error for Map.fromList, got: " ++ show result)
+        ("not in scope" `isInfixOf` show result)
+
       disconnect

test/integration/T233/Other.hs

@@ -0,0 +1,6 @@
+module Other where
+
+process :: [Int] -> IO ()
+process xs = do
+  let n = length xs
+  print n

test/integration/T233/T233.hs

@@ -2,12 +2,14 @@ module Main where
 
 import Data.List (sort, nub)
 import qualified Data.Map.Strict as Map
+import Other (process)
 
 main :: IO ()
 main = do
   let xs = [3, 1, 4, 1, 5, 9, 2, 6] :: [Int]
   let m = Map.fromList [("a", 1), ("b", 2)] :: Map.Map String Int
   check xs m
+  process xs
 
 check :: [Int] -> Map.Map String Int -> IO ()
 check xs m = do