Opened 7 years ago

Closed 6 years ago

#2845 closed bug (fixed)

break018 skips a step

Reported by: igloo Owned by:
Priority: normal Milestone: 6.12 branch
Component: GHCi Version: 6.11
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Test Case: break018
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

The break018 test is failing:

@@ -1,13 +1,11 @@
 Stopped at ../mdo.hs:(29,0)-(31,26)
-_result :: IO (N a) = _
-Stopped at ../mdo.hs:(29,15)-(31,26)
-_result :: IO (N Char) = _
-x :: Char = 'h'
-xs :: [Char] = _
+_result :: (# GHC.Prim.State# GHC.Prim.RealWorld, N a #) = _
 Stopped at ../mdo.hs:29:29-41
 _result :: IO (N Char) = _
 f :: N Char = _
 l :: N Char = _
 x :: Char = 'h'
 Stopped at ../mdo.hs:(7,0)-(8,41)
-_result :: IO (N a) = _
+_result :: (# GHC.Prim.State# GHC.Prim.RealWorld, N a #) = _
+Stopped at ../mdo.hs:7:25-38
+_result :: IO (IORef Bool) = _
*** unexpected failure for break018(ghci)

What's happening here is that as we :st through the evaluation we aren't stopping at the mdo expression any more; we go straight from the entire l2dll to the newNode expression:

l2dll :: [a] -> IO (N a)
l2dll (x:xs) = mdo c      <- newNode l x f
                   (f, l) <- l2dll' c xs
                   return c

Change History (1)

comment:1 Changed 6 years ago by simonmar

  • Resolution set to fixed
  • Status changed from new to closed

Fixed:

Mon Apr 20 07:25:25 PDT 2009  Simon Marlow <[email protected]>
 * FIX #2845: Allow breakpoints on expressions with unlifted type
Note: See TracTickets for help on using tickets.