variables: Display of single field datatype is wrong

[alt-romes]

For the given program:

newtype MyInt = MyInt Int
    deriving Show

data X = X MyInt
    deriving Show

main :: IO ()
main = do
    putStrLn $ "Success...: " ++ f (X (MyInt 35))

f s = case s of
        X str -> show str

Setting a breakpoint on f and inspecting s should display X (MyInt 35). Instead, it shows:

[J0J0]

I'll look at this one now

[alt-romes]

@J0J0 and @amaebel have both run into the --optimistic linking bug using this reproducer! I'll try to use it to debug that one

[J0J0]

... run into the --optimistic linking bug using this reproducer! I'll try to use it to debug that one

Here's my program, with break points on all the bp... functions:

module Main where

newtype MyInt = MyInt Int
    deriving (Show)

newtype MyIntX = MyIntX X
    deriving (Show)


data X = X MyInt
    deriving Show

newtype Y = Y MyInt
    deriving Show

newtype Y2 = Y2 MyIntX
    deriving Show

data R = R {_fieldOfR :: MyInt}
    deriving Show

main :: IO ()
main = do
    putStrLn $ show $ bpmi $ MyInt 42
    putStrLn $ show $ bpx $ X (MyInt 42)
    putStrLn $ show $ bpy $ Y (MyInt 42)
    putStrLn $ show $ bpy2 $ Y2 (MyIntX (X (MyInt 42)))
    putStrLn $ show $ bpr $ R (MyInt 42)

bpmi :: MyInt -> MyInt
bpmi mi = mi

bpx :: X -> X
bpx x = x

bpy :: Y -> Y
bpy y = y

bpy2 :: Y2 -> Y2
bpy2 y2 = y2

bpr :: R -> R 
bpr r = r

[alt-romes]

Fixed by 5104649