Commit 58e19937 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Error message wibbles

parent a56dadc5
......@@ -2,4 +2,4 @@
T2597b.hs:8:8:
Empty stmt list in do-block
When splicing a TH expression: do
In the expression: $mkBug2
In the splice: $mkBug2
......@@ -4,7 +4,7 @@ T3395.hs:6:9:
r1 <- undefined
(It should be an expression.)
When splicing a TH expression: [r1 <- undefined | undefined]
In the expression:
In the splice:
$(return
$ CompE
[NoBindS (VarE $ mkName "undefined"),
......
......@@ -2,4 +2,4 @@ T3600.hs:1:1: Splicing declarations
test
======>
T3600.hs:5:3-6
myFunction = (testFun1 [], testFun2 "", testFun2 "x")
myFunction = (testFun1 [], testFun2 [], testFun2 "x")
......@@ -4,6 +4,6 @@ T5358.hs:14:15:
runTest called error: forall t_0 . t_0 -> GHC.Types.Bool
Code: do { VarI _ t _ _ <- reify (mkName "prop_x1");
($) error ((++) "runTest called error: " pprint t) }
In the expression:
In the splice:
$(do { VarI _ t _ _ <- reify (mkName "prop_x1");
error $ ("runTest called error: " ++ pprint t) })
......@@ -2,6 +2,6 @@ T5508.hs:(7,9)-(9,28): Splicing expression
do { let x = mkName "x"
v = return (LamE [VarP x] $ VarE x);
[| $v . id |]
pending(rn) [(splice, v)] }
pending(rn) [<splice, v>] }
======>
((\ x -> x) . id)
......@@ -4,4 +4,3 @@ T5795.hs:9:6:
‛ty’ is used in a top-level splice or annotation,
and must be imported, not defined locally
In the splice: $ty
To see what the splice expanded to, use -ddump-splices
......@@ -5,5 +5,3 @@ T5971.hs:6:7:
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
In the splice: $(newName "x" >>= varE)
To see what the splice expanded to, use -ddump-splices
In the expression: $(newName "x" >>= varE)
......@@ -5,7 +5,7 @@ T6114.hs:6:17:
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
In the argument of reifyInstances: GHC.Classes.Eq x_0
In the expression:
In the splice:
$(do { xName <- newName "x";
instanceType <- [t| $(varT xName) |];
_ <- reifyInstances ''Eq [instanceType];
......
......@@ -4,6 +4,5 @@ T7276.hs:6:8:
with ‛Language.Haskell.TH.Syntax.Exp’
Expected type: Language.Haskell.TH.Lib.ExpQ
Actual type: Language.Haskell.TH.Lib.DecsQ
In the Template Haskell quotation [d| y = 3 |]
In the expression: [d| y = 3 |]
In the expression: $([d| y = 3 |])
In the splice: $([d| y = 3 |])
......@@ -3,7 +3,6 @@
Couldn't match type ‛[Dec]’ with ‛Exp’
Expected type: Q Exp
Actual type: DecsQ
In the Template Haskell quotation [d| a = () |]
In the expression: [d| a = () |] :: Q Exp
In an equation for ‛x’: x = [d| a = () |] :: Q Exp
......@@ -13,9 +12,8 @@
Couldn't match type ‛[Dec]’ with ‛Exp’
Expected type: Q Exp
Actual type: DecsQ
In the Template Haskell quotation [d| a = () |]
In the expression: [d| a = () |] :: Q Exp
In an equation for ‛x’: x = [d| a = () |] :: Q Exp
(deferred type error)
Code: x
In the expression: $x
In the splice: $x
......@@ -3,10 +3,6 @@
instance C Bool where
data D Bool = T7532.MkD
==================== Renamer ====================
$bang
T7532.hs:1:1: Splicing declarations
bang
======>
......
......@@ -2,4 +2,4 @@
T7667a.hs:8:12:
Illegal variable name: ‛False’
When splicing a TH expression: False
In the expression: $(return $ VarE (mkName "False"))
In the splice: $(return $ VarE (mkName "False"))
......@@ -2,4 +2,3 @@
T8412.hs:5:12:
Illegal literal in type (type literals must not be negative): -1
In the splice: $(return $ LitT $ NumTyLit (- 1))
To see what the splice expanded to, use -ddump-splices
......@@ -2,4 +2,4 @@
TH_1tuple.hs:11:7:
Illegal 1-tuple type constructor
When splicing a TH expression: 1 :: ()
In the expression: $(sigE [| 1 |] (tupleT 1))
In the splice: $(sigE [| 1 |] (tupleT 1))
......@@ -3,4 +3,4 @@ TH_runIO.hs:12:9:
Exception when trying to run compile-time code:
user error (hi)
Code: runIO (fail "hi")
In the expression: $(runIO (fail "hi"))
In the splice: $(runIO (fail "hi"))
......@@ -5,12 +5,6 @@ TH_unresolvedInfix2.hs:14:11:
namely ‛:+’ [infixl 6]
in the section: ‛:+ N :+ N’
In the splice:
$(let
plus = conE ':+
n = conE 'N
in infixE Nothing plus (Just $ uInfixE n plus n))
To see what the splice expanded to, use -ddump-splices
In the expression:
$(let
plus = conE ...
n = conE ...
......
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