Commit c24af719 authored by mnislaih's avatar mnislaih
Browse files

Accept output

parent 81fb3851
......@@ -34,7 +34,7 @@ instance Show Show1 where
type Just1 = Maybe
data Unary = Unary
data Unary = Unary deriving Show
poly :: a -> ()
poly x = seq x ()
\ No newline at end of file
t = O (_t1::a)
t = O (_t1::t)
t :: Opaque
_t1 :: a
_t1 :: t
()
t = O ((_t2::a) : (_t3::[a]))
t :: Opaque
it :: ()
_t1 :: a
_t1 :: t
_t2 :: a
_t3 :: [a]
()
t = O (Just [(_t4::a),(_t5::a)] : (_t6::[Maybe [a]]))
t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]]))
()
t = O (Just [1,1] : (_t7::[Maybe [Integer]]))
_t7 :: [Maybe [Integer]]
......@@ -2,7 +2,7 @@
:l ../QSort
:break 5
qsort [8, 4, 42, 16, 15, 23]
qsort [8, 4]
:p right
seq right ()
......
Breakpoint set at main:QSort:5:15
Stopped at a breakpoint in ../QSort.hs:5. Local bindings in scope:
_result :: [a], as :: [a], a :: a, left :: [a], right :: [a]
../QSort.hs:5:15-50> ../QSort.hs:5:15-50> right = (_t1::[a])
../QSort.hs:5:15-50> ()
../QSort.hs:5:15-50> right = 42 : (_t2::[Integer])
../QSort.hs:5:15-50> left = (_t3::[a])
../QSort.hs:5:15-50> ()
../QSort.hs:5:15-50> left = 4 : (_t4::[Integer])
../QSort.hs:5:15-50> 1
../QSort.hs:5:15-50> left = [4]
../QSort.hs:5:15-50> Returning to normal execution...
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]
right = (_t1::[a])
()
right = []
left = (_t2::[a])
()
left = 4 : (_t3::[Integer])
1
left = [4]
Stopped at ../QSort.hs:5:15-50
_result :: [a]
as :: [a]
a :: a
left :: [a]
right :: [a]
t = O (_t1::a)
t = O (_t1::t)
()
t = O ((_t2::a) : (_t3::[a]))
()
t = O ((_t4::a) : (_t5::a) : (_t6::[a]))
t = O ((_t4::a1) : (_t5::a1) : (_t6::[a1]))
()
t = O ((_t7::Maybe [a]) : Just [(_t8::a),(_t9::a)] : (_t10::[Maybe [a]]))
t = O ((_t7::Maybe [a11]) : Just [(_t8::a11),(_t9::a11)] : (_t10::[Maybe [a11]]))
()
t = O ((_t11::Maybe [Integer]) : Just [2,2] : (_t12::[Maybe [Integer]]))
()
......
t = O (_t1::a)
_t1 :: a
t = O (_t1::t)
_t1 :: t
()
t = O ((_t2::a) : (_t3::[a]))
()
t = O (Just [(_t4::a),(_t5::a)] : (_t6::[Maybe [a]]))
_t4 :: a
t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]]))
_t4 :: a1
o = O (_t1::a)
o = O (_t1::t)
()
o = O ((_t2::a) : (_t3::[a]))
()
......
o = O (_t1::a)
o = O (_t1::t)
()
o = O (Cons (_t2::a) (_t3::SafeList a c))
o = O (Cons (_t2::x) (_t3::SafeList x y))
()
o = O (Cons (_t4::a) (Cons (_t5::a) (_t6::SafeList a d)))
o = O (Cons (_t4::x1) (Cons (_t5::x1) (_t6::SafeList x1 y1)))
<interactive>:1:0:
No instance for (Show Unary)
arising from a use of `print' at <interactive>:1:0
Possible fix: add an instance declaration for (Show Unary)
In the expression: print it
In a 'do' expression: print it
Breakpoint set at main:Test.Test2:40:9
Stopped at a breakpoint in ../Test.hs:40. Local bindings in scope:
_result :: (), x :: a
../Test.hs:40:9-16> x = (_t1::a)
../Test.hs:40:9-16> x :: GHC.Base.Unknown
../Test.hs:40:9-16> ()
../Test.hs:40:9-16> x = Unary
../Test.hs:40:9-16> x :: Unary
../Test.hs:40:9-16> ../Test.hs:40:9-16> Returning to normal execution...
Breakpoint 0 activated at ../Test.hs:42:0-16
Stopped at ../Test.hs:42:0-16
_result :: ()
Stopped at ../Test.hs:42:9-16
_result :: ()
x :: a
x = (_t1::a1)
x :: a1
()
x = Unary
x :: Unary
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