blob: fb02dd9fb853222d075a3b36dfcc1ee0bbbee4a5 (
plain)
1
2
3
4
5
6
7
8
|
TH_repPatSigTVar.hs:8:64: error:
• Not in scope: type variable ‘c’
• In the Template Haskell quotation ''c
In the untyped splice: $(sigE (varE 'undefined) (varT ''c))
In the Template Haskell quotation
[d| f = \ (_ :: Either a b)
-> $(sigE (varE 'undefined) (varT ''c)) |]
|
