diff options
Diffstat (limited to 'testsuite/tests/ghci.debugger/scripts/print030.script')
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/print030.script | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/print030.script b/testsuite/tests/ghci.debugger/scripts/print030.script new file mode 100644 index 0000000000..9296c90163 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/print030.script @@ -0,0 +1,10 @@ +:l print029.hs +let a = MkT2 (map Just [(1::Int)]) +:break f +seq a () +f a +:step +-- Unsound! A false type is assigned to x +-- reconstructType is forced to stop too soon +-- because the elements of the list in x are not evaluated yet +:q |