Commit 52fd56ae authored by Simon Marlow's avatar Simon Marlow
Browse files

update error messages

parent 30a698dc
......@@ -10,8 +10,8 @@ _result :: t = _
Stopped at ../Test2.hs:5:7
_result :: Integer = _
y :: Integer = 1
_result :: Integer = _
y :: Integer = 1
_result :: Integer = _
1
y = 1
()
......
<interactive>:1:1:
<interactive>:5:1:
No instance for (Show (t -> a))
arising from a use of `print'
Possible fix: add an instance declaration for (Show (t -> a))
......
<interactive>:1:1:
<interactive>:6:1:
Ambiguous type variable `a' in the constraint:
(Show a) arising from a use of `print'
Cannot resolve unknown runtime types: a
Use :print or :force to determine these types
In a stmt of an interactive GHCi command: print it
<interactive>:1:1:
<interactive>:8:1:
Ambiguous type variable `a' in the constraint:
(Show a) arising from a use of `print'
Cannot resolve unknown runtime types: a
......
......@@ -5,16 +5,16 @@ _result :: [a] = _
f :: Integer -> a = _
x :: Integer = 1
xs :: [Integer] = [2,3]
_result :: [a] = _
f :: Integer -> a = _
x :: Integer = 1
xs :: [Integer] = [2,3]
x :: Integer = 1
f :: Integer -> a = _
_result :: [a] = _
y = (_t1::a)
y = 2
_result :: [Integer] = _
_t1 :: Integer = 2
f :: Integer -> Integer = _
x :: Integer = 1
xs :: [Integer] = [2,3]
x :: Integer = 1
f :: Integer -> Integer = _
_result :: [Integer] = _
y :: Integer = 2
_t1 :: Integer = 2
2
......@@ -17,7 +17,7 @@ Stopped at <exception thrown>
_exception :: e
already at the beginning of the history
_exception = SomeException (ErrorCall "foo")
_exception :: SomeException = SomeException (ErrorCall "foo")
_result :: a = _
_exception :: SomeException = SomeException (ErrorCall "foo")
*** Exception: foo
*** Exception: foo
......@@ -5,7 +5,7 @@ _result :: (Bool, Bool, ()) = _
a :: Bool = _
b :: Bool = _
c :: () = _
_result :: (Bool, Bool, ()) = _
a :: Bool = _
b :: Bool = _
c :: () = _
b :: Bool = _
a :: Bool = _
_result :: (Bool, Bool, ()) = _
......@@ -18,9 +18,9 @@ Logged breakpoint at ../Test3.hs:2:22-31
_result :: [a]
f :: t -> a
xs :: [t]
_result :: [a] = _
f :: t -> a = _
xs :: [t] = []
f :: t -> a = _
_result :: [a] = _
*** Ignoring breakpoint
_result = []
Logged breakpoint at ../Test3.hs:2:18-20
......
t = O (_t1::a)
_t1 :: a = _
t :: Opaque = O _
_t1 :: a = _
()
t = O ((_t2::a1) : (_t3::[a1]))
t :: Opaque = O (_ : _)
_t1 :: [a] = _ : _
_t2 :: a1 = _
_t3 :: [a1] = _
it :: () = ()
t :: Opaque = O (_ : _)
_t3 :: [a1] = _
_t2 :: a1 = _
()
t = O (Just [1,1] : (_t4::[Maybe [Integer]]))
()
......
<interactive>:1:1:
<interactive>:11:1:
Ambiguous type variable `a1' in the constraint:
(Show a1) arising from a use of `print'
Cannot resolve unknown runtime types: a1
......
......@@ -2,8 +2,8 @@ a = O (_t1::a)
b = O (_t2::a1)
()
_t1 = 'a'
_t1 :: Char = 'a'
_t2 :: a1 = _
a :: Opaque = O 'a'
b :: Opaque = O _
_t1 :: Char = 'a'
_t2 :: a1 = _
it :: () = ()
data T = C | D -- Defined at <interactive>:0:10
type T' = :Interactive.T -- Defined at <interactive>:0:6-7
data :Interactive.T = A | ... -- Defined at <interactive>:0:10
data :Interactive.T = B | ... -- Defined at <interactive>:0:12
data T = C | ... -- Defined at <interactive>:0:14
data T = ... | D -- Defined at <interactive>:0:18
b :: T' -- Defined at <interactive>:0:5
c :: :Interactive.T -- Defined at <interactive>:0:5
d :: T -- Defined at <interactive>:0:5
data T = C | D -- Defined at <interactive>:9:10
type T' = main::Interactive.T -- Defined at <interactive>:4:6
data main::Interactive.T = A | ...
-- Defined at <interactive>:3:10
data main::Interactive.T = B | ...
-- Defined at <interactive>:6:12
data T = C | ... -- Defined at <interactive>:9:14
data T = ... | D -- Defined at <interactive>:9:18
b :: T' -- Defined at <interactive>:5:5
c :: main::Interactive.T -- Defined at <interactive>:8:5
d :: T -- Defined at <interactive>:10:5
False
True
False
True
\ No newline at end of file
True
*** Exception: Prelude.undefined
y :: Integer = _
x :: a = *** Exception: Prelude.undefined
y :: Integer = 3
mod18.hs:3:6:
Multiple declarations of `Main.T'
Multiple declarations of `T'
Declared at: mod18.hs:2:6
mod18.hs:3:6
mod19.hs:3:7:
Multiple declarations of `Main.C'
Multiple declarations of `C'
Declared at: mod19.hs:2:7
mod19.hs:3:7
mod19.hs:3:17:
Multiple declarations of `Main.m'
Multiple declarations of `m'
Declared at: mod19.hs:2:17
mod19.hs:3:17
mod20.hs:3:18:
Multiple declarations of `Main.m'
Multiple declarations of `m'
Declared at: mod20.hs:2:18
mod20.hs:3:18
mod21.hs:3:6:
Multiple declarations of `Main.T'
Multiple declarations of `T'
Declared at: mod21.hs:2:6
mod21.hs:3:6
mod22.hs:3:11:
Multiple declarations of `Main.K'
Multiple declarations of `K'
Declared at: mod22.hs:2:11
mod22.hs:3:11
mod38.hs:4:7:
Multiple declarations of `M.C'
Multiple declarations of `C'
Declared at: mod38.hs:3:6
mod38.hs:4:7
mod66.hs:5:1:
Multiple declarations of `M.f'
Multiple declarations of `f'
Declared at: mod66.hs:3:1
mod66.hs:5:1
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