Commit 4cbca0db authored by Simon Marlow's avatar Simon Marlow
Browse files

accept output

parent f0633111
Breakpoint 0 activated at ../QSort.hs:(4,0)-(6,54)
Stopped at ../QSort.hs:(4,0)-(6,54)
_result :: [a]
Stopped at ../QSort.hs:5:15-50
......@@ -6,3 +5,5 @@ _result :: [a]
a :: a
left :: [a]
right :: [a]
()
left = []
<interactive>:1:0:
Ambiguous type variable `a' in the constraint:
`Show a' arising from a use of `print' at <interactive>:1:0-2
Cannot resolve unkonwn runtime types: a
Use :print or :force to determine these types
<interactive>:1:0:
Ambiguous type variable `a' in the constraint:
`Show a' arising from a use of `print' at <interactive>:1:0
Cannot resolve unkonwn runtime types: a
Use :print or :force to determine these types
Breakpoint 0 activated at ../QSort.hs:(4,0)-(6,54)
Stopped at ../QSort.hs:(4,0)-(6,54)
Stopped at ../Test3.hs:(1,0)-(2,30)
_result :: [a]
as :: [a]
a :: a
left :: [a]
right :: [a]
Stopped at ../Test3.hs:2:17-30
_result :: [a]
x :: t
f :: t -> a
xs :: [t]
_result :: [a]
x :: t
f :: t -> a
xs :: [t]
y = (_t1::a)
y = 2
_result :: [Integer]
x :: t
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
......@@ -4,8 +4,8 @@ _t1 :: t
()
t = O ((_t2::a) : (_t3::[a]))
t :: Opaque
it :: ()
_t1 :: t
it :: ()
_t2 :: a
_t3 :: [a]
()
......
<interactive>:1:0:
Ambiguous type variable `t' in the constraint:
`Show t' arising from a use of `print' at <interactive>:1:0-2
Cannot resolve unkonwn runtime types: t
Ambiguous type variable `t1' in the constraint:
`Show t1' arising from a use of `print' at <interactive>:1:0-2
Cannot resolve unkonwn runtime types: t1
Use :print or :force to determine these types
a = O (_t1::t)
b = O (_t2::t1)
()
_t1 = 'a'
a :: Opaque
b :: Opaque
_t1 :: Char
_t2 :: t1
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