template-haskell has no representation for: TyWildCard () Nothing

[guibou]

This is a similar issue of #4

Converting type application wildcard (such as @_) to template haskell does fails.

How to reproduce:

Prelude> import qualified Language.Haskell.Meta.Syntax.Translate as SyntaxTranslate
Prelude SyntaxTranslate> import qualified Language.Haskell.Exts.Extension as ParseExtension
Prelude SyntaxTranslate ParseExtension> import qualified Language.Haskell.Exts.Parser as ParseExp
Prelude SyntaxTranslate ParseExtension ParseExp>   let parseMode = ParseExp.defaultParseMode { ParseExp.extensions = [ParseExtension.EnableExtension ParseExtension.TypeApplications ] }
Prelude SyntaxTranslate ParseExtension ParseExp> SyntaxTranslate.toExp <$> ParseExp.parseExpWithMode parseMode "show @_ 1"
ParseOk (AppE (AppTypeE (VarE show) *** Exception: Language.Haskell.Meta.Syntax.Translate.toType: template-haskell has no representation for: TyWildCard () Nothing
CallStack (from HasCallStack):
  error, called at src/Language/Haskell/Meta/Syntax/Translate.hs:62:18 in haskell-src-meta-0.8.3-IlZnZ1julhCLgVthcY6pZk:Language.Haskell.Meta.Syntax.Translate

I also tried with haskell-src-meta-0.8.5.

The error is in the following expression:

App (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 1 1 10, srcInfoPoints = []}) (App (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 1 1 8, srcInfoPoints = []}) (Var (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 1 1 5, srcInfoPoints = []}) (UnQual (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 1 1 5, srcInfoPoints = []}) (Ident (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 1 1 5, srcInfoPoints = []}) "show"))) (TypeApp (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 6 1 8, srcInfoPoints = [SrcSpan "<unknown>.hs" 1 6 1 7]}) (TyWildCard (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 7 1 8, srcInfoPoints = []}) Nothing))) (Lit (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 9 1 10, srcInfoPoints = []}) (Int (SrcSpanInfo {srcInfoSpan = SrcSpan "<unknown>.hs" 1 9 1 10, srcInfoPoints = []}) 1 "1"))

Note the TyWildCard constructor which may not be handled.