<interactive>:5:1:
Not in scope: ‛fit’
Perhaps you meant one of these:
- ‛it’ (line 4), ‛fst’ (imported from Prelude)
+ ‛fst’ (imported from Prelude), ‛it’ (line 4)
T5508.hs:(7,9)-(9,28): Splicing expression
do { let x = mkName "x"
v = return (LamE [VarP x] $ VarE x);
- [| $v . id |] }
+ [| $v . id |]
+ pending(rn) [(splice, v)] }
======>
((\ x -> x) . id)
GHC stage restriction:
‛ty’ is used in a top-level splice or annotation,
and must be imported, not defined locally
- In the expression: ty
+ In the splice: $ty
+ To see what the splice expanded to, use -ddump-splices
Probable cause: you used a unique Template Haskell name (NameU),
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
- In the result of the splice:
- $(newName "x" >>= varE)
+ In the splice: $(newName "x" >>= varE)
To see what the splice expanded to, use -ddump-splices
In the expression: $(newName "x" >>= varE)
T8412.hs:5:12:
Illegal literal in type (type literals must not be negative): -1
- In the result of the splice:
- $(return $ LitT $ NumTyLit (- 1))
+ In the splice: $(return $ LitT $ NumTyLit (- 1))
To see what the splice expanded to, use -ddump-splices
must have lower precedence than that of the operand,
namely ‛:+’ [infixl 6]
in the section: ‛:+ N :+ N’
- In the result of the splice:
+ In the splice:
$(let
plus = conE ':+
n = conE 'N