76c408f · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Adapt expandParamsD to new parameter docs field in PClass

76c408fPaul Koerbitz12 years ago

src/Idris/AbsSyntax.hs+3−1

@@ -947,6 +947,7 @@ expandParamsD rhsonly ist dec ps ns (PClauses fc opts n cs)

947 bnames (PDPair _ _ l Placeholder r) = bnames l ++ bnames r

948 bnames _ = []

949

950+-- | Expands parameters defined in parameter and where blocks inside of declarations

950expandParamsD rhs ist dec ps ns (PData doc argDocs syn fc co pd)

951expandParamsD rhs ist dec ps ns (PData doc argDocs syn fc co pd)

951 = PData doc argDocs syn fc co (expandPData pd)

952 = PData doc argDocs syn fc co (expandPData pd)

952 where

953 where

@@ -972,11 +973,12 @@ expandParamsD rhs ist dec ps ns (PParams f params pds)

972-- (map (expandParamsD ist dec ps ns) pds)

973-- (map (expandParamsD ist dec ps ns) pds)

973expandParamsD rhs ist dec ps ns (PMutual f pds)

974expandParamsD rhs ist dec ps ns (PMutual f pds)

974 = PMutual f (map (expandParamsD rhs ist dec ps ns) pds)

975 = 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)

976 = PClass doc info f

977 = PClass doc info f

977 (map (expandParams dec ps ns []) cs)

978 (map (expandParams dec ps ns []) cs)

978 n

979 n

979 (map (mapsnd (expandParams dec ps ns [])) params)

980 (map (mapsnd (expandParams dec ps ns [])) params)

981+ pDocs

980 (map (expandParamsD rhs ist dec ps ns) decls)

982 (map (expandParamsD rhs ist dec ps ns) decls)

981expandParamsD rhs ist dec ps ns (PInstance info f cs n params ty cn decls)

983expandParamsD rhs ist dec ps ns (PInstance info f cs n params ty cn decls)

982 = PInstance info f

984 = PInstance info f