Commit fd86b090 authored by Simon Marlow's avatar Simon Marlow
Browse files

accept output and add a few more tests

parent ed94ae78
......@@ -29,6 +29,9 @@ test('break005', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_scri
test('break006', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['break006.script'])
test('break007', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['break007.script'])
test('break008', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['break008.script'])
test('break009', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['break009.script'])
test('break010', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['break010.script'])
test('break011', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['break011.script'])
test('dynbrk001', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['dynbrk001.script'])
test('dynbrk002', extra_run_opts('-fno-warn-monomorphism-restriction'), ghci_script, ['dynbrk002.script'])
......
......@@ -12,7 +12,7 @@ _result :: t
y :: t
_result :: t
y :: t
y = (_t1::a)
y = (_t1::t)
()
y = 1
1
......@@ -17,5 +17,4 @@ f :: t -> Integer
xs :: [t]
y :: Integer
_t1 :: Integer
*** Exception: ghci/Debugger.hs:102:48-73: Irrefutable pattern failed for pattern Data.Maybe.Just tv
2
:l ../Test6.hs
:b 5
main
:abandon
main
-- should not hang here; we abandoned the previous computation
Breakpoint 0 activated at ../Test6.hs:5:7-10
Stopped at ../Test6.hs:5:7-10
_result :: a
Stopped at ../Test6.hs:5:7-10
_result :: a
-- Testing -fbreak-on-exception
error "foo"
:set -fbreak-on-exception
error "foo"
:abandon
:l ../Test7.hs
:tr main
:hist
:back
:back
:back
:forward
:forward
:forward
:force _exception
:show bindings
:force _result
:continue
*** Exception: foo
Stopped at <exception thrown>
_exception :: e
Stopped at <exception thrown>
_exception :: e
-1 : ../Test7.hs:2:17-27
-2 : ../Test7.hs:2:7-28
<end of history>
Logged breakpoint at ../Test7.hs:2:17-27
_result :: a
Logged breakpoint at ../Test7.hs:2:7-28
_result :: IO a
no more logged breakpoints
Logged breakpoint at ../Test7.hs:2:17-27
_result :: a
Stopped at <exception thrown>
_exception :: e
already at the beginning of the history
_exception = foo
_exception :: Exception
_result :: a
*** Exception: foo
*** Exception: foo
Breakpoint 0 activated at ../QSort.hs:5:15-50
Stopped at ../QSort.hs:5:15-50
_result :: [a]
as :: [a]
a :: a
left :: [a]
right :: [a]
......@@ -15,7 +14,6 @@ left = 4 : (_t3::[Integer])
left = [4]
Stopped at ../QSort.hs:5:15-50
_result :: [a]
as :: [a]
a :: a
left :: [a]
right :: [a]
Breakpoint 0 activated at ../Test.hs:42:0-16
Stopped at ../Test.hs:42:0-16
Breakpoint 0 activated at ../Test.hs:40:0-16
Stopped at ../Test.hs:40:0-16
_result :: ()
Stopped at ../Test.hs:42:9-16
Stopped at ../Test.hs:40:9-16
_result :: ()
x :: a
x = (_t1::a1)
x :: a1
x = (_t1::a)
x :: a
()
x = Unary
x :: Unary
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment