git.iko.soy/Idris-dev
on master help sign in
Fix parameters documentation in the record's customized display
3ec5b5cGuglielmo Fachini
src/Idris/Docs.hs+1−1
compare with master
unifiedsplit
@@ -334,7 +334,7 @@ docRecord n ri
334 = do i <- getIState
334 = do i <- getIState
335 let docStrings = listToMaybe $ lookupCtxt n $ idris_docstrings i
335 let docStrings = listToMaybe $ lookupCtxt n $ idris_docstrings i
336 docstr = maybe emptyDocstring fst docStrings
336 docstr = maybe emptyDocstring fst docStrings
337− params = map (\(pn,pt) -> (pn, pt, docStrings >>= (lookup pn . snd)))
337+ params = map (\(pn,pt) -> (pn, pt, docStrings >>= (lookup (nsroot pn) . snd)))
338 (record_parameters ri)
338 (record_parameters ri)
339 pdocs <- mapM docFun (record_projections ri)
339 pdocs <- mapM docFun (record_projections ri)
340 ctorDocs <- docFun $ record_constructor ri
340 ctorDocs <- docFun $ record_constructor ri