Remove superfluous 'getContext' in docClass
commitbb00be2119a54e47b90f8d46b6c00d5d7dffed51
authorPaul Koerbitz <paul.koerbitz@theppro.com>
dateFri 2 May 2014, 02:30 (12 years ago)
parent1df6fa9
src/Idris/Docs.hs−1
@@ -129,7 +129,6 @@ docData n ti
129129docClass :: Name -> ClassInfo -> Idris Docs
130130docClass n ci
131131 = do i <- getIState
132− ctxt <- getContext
133132 let docStrings = listToMaybe $ lookupCtxt n $ idris_docstrings i
134133 docstr = maybe emptyDocstring fst docStrings
135134 params = map (\pn -> (pn, docStrings >>= (lookup pn . snd))) (class_params ci)