Commit 9ca4a73d authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Error message wibbles

Almost all are re-orderings of relevant-binding output

       Relevant bindings include
  +      m :: Map (a, b) elt (bound at T3169.hs:12:17)
  +      b :: b (bound at T3169.hs:12:13)
         lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
           (bound at T3169.hs:12:3)
  -      b :: b (bound at T3169.hs:12:13)
  -      m :: Map (a, b) elt (bound at T3169.hs:12:17)
parent ad8fb8f3
......@@ -6,9 +6,9 @@ T5380.hs:7:27:
testB :: not_bool -> (() -> ()) -> () -> not_unit
at T5380.hs:6:10
Relevant bindings include
b :: not_bool (bound at T5380.hs:7:7)
testB :: not_bool -> (() -> ()) -> () -> not_unit
(bound at T5380.hs:7:1)
b :: not_bool (bound at T5380.hs:7:7)
In the expression: b
In the expression: proc () -> if b then f -< () else f -< ()
......
......@@ -10,9 +10,9 @@ T3169.hs:13:22:
Expected type: Map a (Map b elt)
Actual type: Map (a, b) elt
Relevant bindings include
m :: Map (a, b) elt (bound at T3169.hs:12:17)
b :: b (bound at T3169.hs:12:13)
lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
(bound at T3169.hs:12:3)
b :: b (bound at T3169.hs:12:13)
m :: Map (a, b) elt (bound at T3169.hs:12:17)
In the second argument of ‛lookup’, namely ‛m’
In the expression: lookup a m :: Maybe (Map b elt)
......@@ -12,8 +12,8 @@ gadt7.hs:16:38:
‛t’ is a rigid type variable bound by
the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
Relevant bindings include
i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)
y :: t1 (bound at gadt7.hs:16:7)
y1 :: t1 (bound at gadt7.hs:16:16)
y :: t1 (bound at gadt7.hs:16:7)
i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)
In the expression: y1
In a case alternative: K -> y1
......@@ -5,9 +5,9 @@ rw.hs:14:47:
the type signature for writeInt :: T a -> IORef a -> IO ()
at rw.hs:12:12
Relevant bindings include
writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1)
v :: T a (bound at rw.hs:13:10)
ref :: IORef a (bound at rw.hs:13:12)
v :: T a (bound at rw.hs:13:10)
writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1)
In the second argument of ‛writeIORef’, namely ‛(1 :: Int)’
In the expression: writeIORef ref (1 :: Int)
In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int)
......@@ -20,8 +20,8 @@ rw.hs:19:51:
Expected type: a -> Bool
Actual type: Bool -> Bool
Relevant bindings include
readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1)
v :: T a (bound at rw.hs:17:10)
ref :: IORef a (bound at rw.hs:17:12)
v :: T a (bound at rw.hs:17:10)
readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1)
In the second argument of ‛(.)’, namely ‛not’
In the second argument of ‛(>>=)’, namely ‛(print . not)’
......@@ -46,17 +46,17 @@
the type signature for h :: a -> (Char, Char)
at ../../typecheck/should_run/Defer01.hs:33:6
Relevant bindings include
x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3)
h :: a -> (Char, Char)
(bound at ../../typecheck/should_run/Defer01.hs:34:1)
x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3)
In the expression: x
In the expression: (x, 'c')
../../typecheck/should_run/Defer01.hs:39:17: Warning:
Couldn't match expected type ‛Bool’ with actual type ‛T a’
Relevant bindings include
i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3)
i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
In the first argument of ‛not’, namely ‛(K a)’
In the expression: (not (K a))
......@@ -151,17 +151,17 @@
the type signature for h :: a -> (Char, Char)
at ../../typecheck/should_run/Defer01.hs:33:6
Relevant bindings include
x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3)
h :: a -> (Char, Char)
(bound at ../../typecheck/should_run/Defer01.hs:34:1)
x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3)
In the expression: x
In the expression: (x, 'c')
(deferred type error)
*** Exception: ../../typecheck/should_run/Defer01.hs:39:17:
Couldn't match expected type ‛Bool’ with actual type ‛T a’
Relevant bindings include
i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3)
i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
In the first argument of ‛not’, namely ‛(K a)’
In the expression: (not (K a))
(deferred type error)
......
......@@ -5,9 +5,9 @@
‛a’ is a rigid type variable bound by
the instance declaration at <interactive>:6:10
Relevant bindings include
b :: a (bound at <interactive>:6:43)
a :: a (bound at <interactive>:6:41)
asList :: (a, a) -> [ListableElem (a, a)]
(bound at <interactive>:6:33)
a :: a (bound at <interactive>:6:41)
b :: a (bound at <interactive>:6:43)
In the expression: a
In the expression: [a, b]
......@@ -10,8 +10,8 @@ T3208b.hs:15:10:
Expected type: STerm o0
Actual type: OTerm o0
Relevant bindings include
fce' :: a -> c (bound at T3208b.hs:15:1)
f :: a (bound at T3208b.hs:15:6)
fce' :: a -> c (bound at T3208b.hs:15:1)
In the expression: fce (apply f)
In an equation for ‛fce'’: fce' f = fce (apply f)
......@@ -23,8 +23,8 @@ T3208b.hs:15:15:
at T3208b.hs:14:9-56
The type variable ‛o0’ is ambiguous
Relevant bindings include
fce' :: a -> c (bound at T3208b.hs:15:1)
f :: a (bound at T3208b.hs:15:6)
fce' :: a -> c (bound at T3208b.hs:15:1)
In the first argument of ‛fce’, namely ‛(apply f)’
In the expression: fce (apply f)
In an equation for ‛fce'’: fce' f = fce (apply f)
......@@ -14,7 +14,7 @@ GADTwrong1.hs:12:19:
‛b’ is a rigid type variable bound by
the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
Relevant bindings include
coerce :: a -> b (bound at GADTwrong1.hs:11:1)
y :: a1 (bound at GADTwrong1.hs:12:14)
coerce :: a -> b (bound at GADTwrong1.hs:11:1)
In the expression: y
In a case alternative: T y -> y
......@@ -2,7 +2,7 @@
Overlap10.hs:10:7:
Couldn't match expected type ‛F a Bool’ with actual type ‛Bool’
Relevant bindings include
g :: a -> F a Bool (bound at Overlap10.hs:10:1)
x :: a (bound at Overlap10.hs:10:3)
g :: a -> F a Bool (bound at Overlap10.hs:10:1)
In the expression: False
In an equation for ‛g’: g x = False
......@@ -8,8 +8,8 @@ Overlap6.hs:15:7:
Expected type: Proxy Bool (And x 'True)
Actual type: Proxy Bool x
Relevant bindings include
x :: Proxy Bool x (bound at Overlap6.hs:15:3)
g :: Proxy Bool x -> Proxy Bool (And x 'True)
(bound at Overlap6.hs:15:1)
x :: Proxy Bool x (bound at Overlap6.hs:15:3)
In the expression: x
In an equation for ‛g’: g x = x
......@@ -5,7 +5,7 @@ Overlap9.hs:10:7:
bound by the type signature for g :: Show a => a -> F a
at Overlap9.hs:9:6-23
Relevant bindings include
g :: a -> F a (bound at Overlap9.hs:10:1)
x :: a (bound at Overlap9.hs:10:3)
g :: a -> F a (bound at Overlap9.hs:10:1)
In the expression: length (show x)
In an equation for ‛g’: g x = length (show x)
......@@ -15,8 +15,8 @@ T2664.hs:31:52:
Expected type: Dual (Dual a)
Actual type: b
Relevant bindings include
newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5)
v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9)
newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5)
In the third argument of ‛pchoose’, namely ‛newPChan’
In the first argument of ‛E’, namely ‛(pchoose Right v newPChan)’
In the expression:
......
......@@ -9,9 +9,9 @@ T3330a.hs:19:34:
-> r ix1 -> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
Relevant bindings include
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
p :: s ix (bound at T3330a.hs:19:10)
x :: PF s r ix (bound at T3330a.hs:19:12)
p :: s ix (bound at T3330a.hs:19:10)
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
In the first argument of ‛hmapM’, namely ‛p’
In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’
......@@ -24,9 +24,9 @@ T3330a.hs:19:34:
-> r ix1 -> Writer [AnyF s] (r'0 ix1)
Actual type: s ix
Relevant bindings include
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
p :: s ix (bound at T3330a.hs:19:10)
x :: PF s r ix (bound at T3330a.hs:19:12)
p :: s ix (bound at T3330a.hs:19:10)
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
In the first argument of ‛hmapM’, namely ‛p’
In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’
......@@ -38,8 +38,8 @@ T3330a.hs:19:44:
Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0))
Actual type: PF s r ix
Relevant bindings include
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
p :: s ix (bound at T3330a.hs:19:10)
x :: PF s r ix (bound at T3330a.hs:19:12)
p :: s ix (bound at T3330a.hs:19:10)
children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
In the third argument of ‛hmapM’, namely ‛x’
In the first argument of ‛execWriter’, namely ‛(hmapM p collect x)’
......@@ -16,9 +16,9 @@ T3330c.hs:23:43:
Expected type: Der ((->) x) (f1 x)
Actual type: R f1
Relevant bindings include
plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1)
rf :: R f1 (bound at T3330c.hs:23:13)
df :: f1 x (bound at T3330c.hs:23:25)
x :: x (bound at T3330c.hs:23:29)
df :: f1 x (bound at T3330c.hs:23:25)
rf :: R f1 (bound at T3330c.hs:23:13)
plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1)
In the first argument of ‛plug’, namely ‛rf’
In the first argument of ‛Inl’, namely ‛(plug rf df x)’
......@@ -15,8 +15,8 @@ T3440.hs:11:22:
the type signature for unwrap :: GADT (Fam a) -> (a, Fam a)
at T3440.hs:10:11
Relevant bindings include
unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1)
x :: a1 (bound at T3440.hs:11:14)
y :: Fam a1 (bound at T3440.hs:11:16)
x :: a1 (bound at T3440.hs:11:14)
unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1)
In the expression: x
In the expression: (x, y)
......@@ -17,14 +17,14 @@ T4093b.hs:31:13:
Expected type: EitherCO e (A C O n) (A O O n)
Actual type: (MaybeC C (n C O), MaybeC O (n O C))
Relevant bindings include
blockToNodeList :: Block n e x -> A e x n (bound at T4093b.hs:25:1)
b :: Block n e x (bound at T4093b.hs:25:17)
l :: n O C
-> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C C n) (A O C n)
(bound at T4093b.hs:34:5)
f :: n C O
-> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C O n) (A O O n)
(bound at T4093b.hs:31:5)
l :: n O C
-> EitherCO e (A C O n) (A O O n) -> EitherCO e (A C C n) (A O C n)
(bound at T4093b.hs:34:5)
b :: Block n e x (bound at T4093b.hs:25:17)
blockToNodeList :: Block n e x -> A e x n (bound at T4093b.hs:25:1)
In the expression: (JustC n, NothingC)
In an equation for ‛f’: f n _ = (JustC n, NothingC)
In an equation for ‛blockToNodeList’:
......
......@@ -4,9 +4,9 @@ T4099.hs:11:30:
NB: ‛T’ is a type function, and may not be injective
The type variable ‛a0’ is ambiguous
Relevant bindings include
bar1 :: b -> T b -> Int (bound at T4099.hs:11:1)
a :: b (bound at T4099.hs:11:6)
x :: T b (bound at T4099.hs:11:8)
a :: b (bound at T4099.hs:11:6)
bar1 :: b -> T b -> Int (bound at T4099.hs:11:1)
In the second argument of ‛foo’, namely ‛x’
In the expression: foo (error "urk") x
......@@ -14,8 +14,8 @@ T4099.hs:14:30:
Couldn't match expected type ‛T a1’ with actual type ‛Maybe b’
The type variable ‛a1’ is ambiguous
Relevant bindings include
bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1)
a :: b (bound at T4099.hs:14:6)
x :: Maybe b (bound at T4099.hs:14:8)
a :: b (bound at T4099.hs:14:6)
bar2 :: b -> Maybe b -> Int (bound at T4099.hs:14:1)
In the second argument of ‛foo’, namely ‛x’
In the expression: foo (error "urk") x
......@@ -11,8 +11,8 @@ T4272.hs:15:26:
Expected type: TermFamily a (TermFamily a a)
Actual type: TermFamily a a
Relevant bindings include
laws :: TermFamily a a -> b (bound at T4272.hs:15:1)
t :: TermFamily a a (bound at T4272.hs:15:6)
laws :: TermFamily a a -> b (bound at T4272.hs:15:1)
In the first argument of ‛terms’, namely
‛(undefined :: TermFamily a a)’
In the second argument of ‛prune’, namely
......
......@@ -5,14 +5,14 @@ T5439.hs:83:28:
Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0))
Actual type: f (Attempt (WaitOpResult (WaitOps rs)))
Relevant bindings include
register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
(bound at T5439.hs:65:9)
ev :: f (Attempt (WaitOpResult (WaitOps rs)))
(bound at T5439.hs:62:22)
ops :: WaitOps rs (bound at T5439.hs:62:18)
registerWaitOp :: WaitOps rs
-> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool
(bound at T5439.hs:62:3)
ops :: WaitOps rs (bound at T5439.hs:62:18)
ev :: f (Attempt (WaitOpResult (WaitOps rs)))
(bound at T5439.hs:62:22)
register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
(bound at T5439.hs:65:9)
In the first argument of ‛complete’, namely ‛ev’
In the expression: complete ev
......
......@@ -6,8 +6,8 @@ T7194.hs:18:35:
the type signature for g :: C (F a) => a -> Int
at T7194.hs:17:23-41
Relevant bindings include
x :: b0 (bound at T7194.hs:17:9)
g :: a -> Int (bound at T7194.hs:18:18)
y :: a (bound at T7194.hs:18:20)
g :: a -> Int (bound at T7194.hs:18:18)
x :: b0 (bound at T7194.hs:17:9)
In the expression: foo y
In the first argument of ‛length’, namely ‛[x, foo y]’
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