path: root/testsuite/tests/ghci.debugger/scripts/print031.script

:l print031.hs
let a = MkT2 [Just (Phantom 1)]
:break f
a
f a
-- ghc crashes now when the type for x is recovered
-- and unifyRTTI fails to compute a substitution
:p x
:q