Commit 97cfaff5 authored by mnislaih's avatar mnislaih
Browse files

Accept output

parent cfedbe46
......@@ -10,8 +10,8 @@ _result :: t = _
Stopped at ../Test2.hs:5:6
_result :: t = _
y :: t = _
_result :: t
y :: t
_result :: t = _
y :: t = _
y = (_t1::t)
()
y = 1
......
......@@ -5,16 +5,16 @@ _result :: [a] = _
f :: t -> a = _
x :: t = _
xs :: [t] = [_,_]
_result :: [a]
f :: t -> a
x :: t
xs :: [t]
_result :: [a] = _
f :: t -> a = _
x :: t = _
xs :: [t] = [_,_]
y = (_t1::a)
y = 2
_result :: [Integer]
_t1 :: Integer
f :: t -> Integer
x :: t
xs :: [t]
y :: Integer
_result :: [Integer] = _
_t1 :: Integer = 2
f :: t -> Integer = _
x :: t = 1
xs :: [t] = [_,_]
y :: Integer = 2
2
......@@ -17,7 +17,7 @@ Stopped at <exception thrown>
_exception :: e
already at the beginning of the history
_exception = ErrorCall ['f','o','o']
_exception :: Exception
_result :: a
_exception :: Exception = ErrorCall ['f','o','o']
_result :: a = _
*** Exception: foo
*** Exception: foo
......@@ -5,7 +5,7 @@ _result :: (Bool, Bool, ()) = _
a :: Bool = _
b :: Bool = _
c :: () = _
_result :: (Bool, Bool, ())
a :: Bool
b :: Bool
c :: ()
_result :: (Bool, Bool, ()) = _
a :: Bool = _
b :: Bool = _
c :: () = _
Stopped at break020.hs:(9,7)-(17,1)
Stopped at break020.hs:(9,7)-(15,10)
_result :: IO () = _
8
vv
......
......@@ -13,14 +13,14 @@ _result :: [a] = _
<end of history>
Logged breakpoint at ../Test3.hs:(1,0)-(2,30)
_result :: [a]
_result :: [a]
_result :: [a] = _
Logged breakpoint at ../Test3.hs:2:21-30
_result :: [a]
f :: t -> a
xs :: [t]
_result :: [a]
f :: t -> a
xs :: [t]
_result :: [a] = _
f :: t -> a = _
xs :: [t] = []
*** Ignoring breakpoint
_result = []
Logged breakpoint at ../Test3.hs:2:17-19
......
t = O (_t1::t)
_t1 :: t
t :: Opaque
_t1 :: t = _
t :: Opaque = O _
()
t = O ((_t2::a) : (_t3::[a]))
_t1 :: [a]
_t2 :: a
_t3 :: [a]
it :: ()
t :: Opaque
_t1 :: [a] = _ : _
_t2 :: a = _
_t3 :: [a] = _
it :: () = ()
t :: Opaque = O (_ : _)
()
t = O (Just [(_t4::a),(_t5::a)] : (_t6::[Maybe [a]]))
()
......
......@@ -2,8 +2,8 @@ a = O (_t1::t)
b = O (_t2::t1)
()
_t1 = 'a'
_t1 :: Char
_t2 :: t1
a :: Opaque
b :: Opaque
it :: ()
_t1 :: Char = 'a'
_t2 :: t1 = _
a :: Opaque = O 'a'
b :: Opaque = O _
it :: () = ()
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