Commit e0ef74c4 authored by mnislaih's avatar mnislaih
Browse files

Accept output

parent 902c6b3e
"Stopped at <exception thrown>
_exception :: e
Logged breakpoint at ../QSort.hs:6:23-37
_result :: [a]
a :: a
as :: [a]
_result :: [Char]
a :: Char
as :: [Char]
as = 'b' : 'c' : (_t1::[Char])
*** Exception: Prelude.undefined
as = 'b' : 'c' : (_t2::[Char])
Stopped at ../mdo.hs:(30,0)-(32,26)
_result :: IO (N a)
Stopped at ../mdo.hs:(30,15)-(32,26)
_result :: IO (N a)
x :: a
xs :: [a]
_result :: IO (N Char)
x :: Char
xs :: [Char]
Stopped at ../mdo.hs:30:29-53
_result :: IO (N a)
f :: N a
l :: N a
x :: a
_result :: IO (N Char)
f :: N Char
l :: N Char
x :: Char
Stopped at ../mdo.hs:30:41-53
_result :: IO (N a)
f :: N a
l :: N a
x :: a
_result :: IO (N Char)
f :: N Char
l :: N Char
x :: Char
......@@ -25,7 +25,7 @@ xs :: [t]
_result = []
Logged breakpoint at ../Test3.hs:2:17-19
_result :: a
f :: t -> a
x :: t
f :: Integer -> a
x :: Integer
Logged breakpoint at ../Test3.hs:2:21-30
_result :: [a]
......@@ -3,13 +3,13 @@ _t1 :: t
t :: Opaque
()
t = O ((_t2::a) : (_t3::[a]))
_t1 :: t
_t1 :: [a]
_t2 :: a
_t3 :: [a]
it :: ()
t :: Opaque
()
t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]]))
t = O (Just [(_t4::a),(_t5::a)] : (_t6::[Maybe [a]]))
()
t = O (Just [1,1] : (_t7::[Maybe [Integer]]))
_t7 :: [Maybe [Integer]]
......@@ -7,13 +7,13 @@ right :: [a]
right = (_t1::[a])
()
right = []
left = (_t2::[a])
left = (_t2::[Integer])
()
left = 4 : (_t3::[Integer])
1
left = [4]
Stopped at ../QSort.hs:5:15-50
_result :: [a]
a :: a
left :: [a]
right :: [a]
_result :: [Integer]
a :: Integer
left :: [Integer]
right :: [Integer]
......@@ -4,7 +4,7 @@ t = O ((_t2::a) : (_t3::[a]))
()
t = O ((_t4::a1) : (_t5::a1) : (_t6::[a1]))
()
t = O ((_t7::Maybe [a11]) : Just [(_t8::a11),(_t9::a11)] : (_t10::[Maybe [a11]]))
t = O ((_t7::Maybe [a]) : Just [(_t8::a),(_t9::a)] : (_t10::[Maybe [a]]))
()
t = O ((_t11::Maybe [Integer]) : Just [2,2] : (_t12::[Maybe [Integer]]))
()
......
......@@ -3,5 +3,5 @@ _t1 :: t
()
t = O ((_t2::a) : (_t3::[a]))
()
t = O (Just [(_t4::a1),(_t5::a1)] : (_t6::[Maybe [a1]]))
_t4 :: a1
t = O (Just [(_t4::a),(_t5::a)] : (_t6::[Maybe [a]]))
_t4 :: a
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