@@ -947,6 +947,7 @@ expandParamsD rhsonly ist dec ps ns (PClauses fc opts n cs)
947947 bnames (PDPair _ _ l Placeholder r) = bnames l ++ bnames r
948948 bnames _ = []
949949
950+-- | Expands parameters defined in parameter and where blocks inside of declarations
950951expandParamsD rhs ist dec ps ns (PData doc argDocs syn fc co pd)
951952 = PData doc argDocs syn fc co (expandPData pd)
952953 where
@@ -972,11 +973,12 @@ expandParamsD rhs ist dec ps ns (PParams f params pds)
972973-- (map (expandParamsD ist dec ps ns) pds)
973974expandParamsD rhs ist dec ps ns (PMutual f pds)
974975 = PMutual f (map (expandParamsD rhs ist dec ps ns) pds)
975−expandParamsD rhs ist dec ps ns (PClass doc info f cs n params decls)
976+expandParamsD rhs ist dec ps ns (PClass doc info f cs n params pDocs decls)
976977 = PClass doc info f
977978 (map (expandParams dec ps ns []) cs)
978979 n
979980 (map (mapsnd (expandParams dec ps ns [])) params)
981+ pDocs
980982 (map (expandParamsD rhs ist dec ps ns) decls)
981983expandParamsD rhs ist dec ps ns (PInstance info f cs n params ty cn decls)
982984 = PInstance info f