diff options
Diffstat (limited to 'testsuite/tests/ghci.debugger/scripts/print006.script')
| -rw-r--r-- | testsuite/tests/ghci.debugger/scripts/print006.script | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/ghci.debugger/scripts/print006.script b/testsuite/tests/ghci.debugger/scripts/print006.script new file mode 100644 index 0000000000..d4c60d56a6 --- /dev/null +++ b/testsuite/tests/ghci.debugger/scripts/print006.script @@ -0,0 +1,19 @@ +-- Recovery of types, opaque types +-- This scenario demands propagation of types up in the tree of terms + +:set -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving +:l ../Test +let t = O (map Just [[1,1],[2,2]]) +:p t +seq _t1 () -- The contents of the opaque +:p t +seq _t3 () -- The tail of the list +:p t +seq _t5 () -- The 2nd element of the list +:p t +seq _t8 () -- The 1st element of the list inside the Just +:p t +seq _t11 () -- The 1st element of the outer list + +:p t + -- The 1st Just must be completely typed, as we know the type of the list
\ No newline at end of file |