@@ -129,7 +129,6 @@ docData n ti
129docClass :: Name -> ClassInfo -> Idris Docs
129docClass :: Name -> ClassInfo -> Idris Docs
130docClass n ci
130docClass n ci
131 = do i <- getIState
131 = do i <- getIState
133 let docStrings = listToMaybe $ lookupCtxt n $ idris_docstrings i
132 let docStrings = listToMaybe $ lookupCtxt n $ idris_docstrings i
134 docstr = maybe emptyDocstring fst docStrings
133 docstr = maybe emptyDocstring fst docStrings
135 params = map (\pn -> (pn, docStrings >>= (lookup pn . snd))) (class_params ci)
134 params = map (\pn -> (pn, docStrings >>= (lookup pn . snd))) (class_params ci)