@@ -25,7 +25,16 @@ p_hsDecl = \case
25 ValD NoExt x -> p_valDecl x
25 ValD NoExt x -> p_valDecl x
26 SigD NoExt x -> p_sigDecl x
26 SigD NoExt x -> p_sigDecl x
27 InstD NoExt x -> p_instDecl x
27 InstD NoExt x -> p_instDecl x
28+ DerivD _ _ -> notImplemented "DerivD"
29+ DefD _ _ -> notImplemented "DefD"
30+ ForD _ _ -> notImplemented "ForD"
28− _ -> notImplemented "certain kinds of declarations"
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"
30p_tyClDecl :: TyClDecl GhcPs -> R ()
39p_tyClDecl :: TyClDecl GhcPs -> R ()
31p_tyClDecl = \case
40p_tyClDecl = \case
@@ -33,14 +42,15 @@ p_tyClDecl = \case
33 SynDecl {..} -> p_synDecl tcdLName tcdTyVars tcdRhs
42 SynDecl {..} -> p_synDecl tcdLName tcdTyVars tcdRhs
34 DataDecl {..} ->
43 DataDecl {..} ->
35 p_dataDecl Associated tcdLName (tyVarsToTypes tcdTyVars) tcdDataDefn
44 p_dataDecl Associated tcdLName (tyVarsToTypes tcdTyVars) tcdDataDefn
45+ ClassDecl {..} -> notImplemented "ClassDecl"
36− _ -> notImplemented "certain kinds of declarations"
46+ XTyClDecl _ -> notImplemented "XTyClDecl"
38p_instDecl :: InstDecl GhcPs -> R ()
48p_instDecl :: InstDecl GhcPs -> R ()
39p_instDecl = \case
49p_instDecl = \case
40 ClsInstD NoExt x -> p_clsInstDecl x
50 ClsInstD NoExt x -> p_clsInstDecl x
41 TyFamInstD NoExt x -> p_tyFamInstDecl Free x
51 TyFamInstD NoExt x -> p_tyFamInstDecl Free x
42 DataFamInstD NoExt x -> p_dataFamInstDecl Free x
52 DataFamInstD NoExt x -> p_dataFamInstDecl Free x
43− _ -> notImplemented "certain kinds of declarations"
53+ XInstDecl _ -> notImplemented "XInstDecl"
45----------------------------------------------------------------------------
55----------------------------------------------------------------------------