@@ -25,7 +25,16 @@ p_hsDecl = \case
2525 ValD NoExt x -> p_valDecl x
2626 SigD NoExt x -> p_sigDecl x
2727 InstD NoExt x -> p_instDecl x
28− _ -> notImplemented "certain kinds of declarations"
28+ DerivD _ _ -> notImplemented "DerivD"
29+ DefD _ _ -> notImplemented "DefD"
30+ ForD _ _ -> notImplemented "ForD"
31+ WarningD _ _ -> notImplemented "WarningD"
32+ AnnD _ _ -> notImplemented "AnnD"
33+ RuleD _ _ -> notImplemented "RuleD"
34+ SpliceD _ _ -> notImplemented "SpliceD"
35+ DocD _ _ -> notImplemented "DocD"
36+ RoleAnnotD _ _ -> notImplemented "RoleAnnotD"
37+ XHsDecl _ -> notImplemented "XHsDecl"
2938
3039p_tyClDecl :: TyClDecl GhcPs -> R ()
3140p_tyClDecl = \case
@@ -33,14 +42,15 @@ p_tyClDecl = \case
3342 SynDecl {..} -> p_synDecl tcdLName tcdTyVars tcdRhs
3443 DataDecl {..} ->
3544 p_dataDecl Associated tcdLName (tyVarsToTypes tcdTyVars) tcdDataDefn
36− _ -> notImplemented "certain kinds of declarations"
45+ ClassDecl {..} -> notImplemented "ClassDecl"
46+ XTyClDecl _ -> notImplemented "XTyClDecl"
3747
3848p_instDecl :: InstDecl GhcPs -> R ()
3949p_instDecl = \case
4050 ClsInstD NoExt x -> p_clsInstDecl x
4151 TyFamInstD NoExt x -> p_tyFamInstDecl Free x
4252 DataFamInstD NoExt x -> p_dataFamInstDecl Free x
43− _ -> notImplemented "certain kinds of declarations"
53+ XInstDecl _ -> notImplemented "XInstDecl"
4454
4555----------------------------------------------------------------------------
4656-- Helpers