git.iko.soy/Idris-dev
on master help sign in
Fix parameters documentation in the record's customized display
commit3ec5b5cb1d37e7a458ea04542100bc367f26800a authorGuglielmo Fachini <guglielmo@fachini.net> dateThu 3 Sep 2015, 21:34 (11 years ago) parent0fe4649
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/Docs.hs+1−1
src/Idris/Docs.hs+1−1
@@ -334,7 +334,7 @@ docRecord n ri
334334 = do i <- getIState
335335 let docStrings = listToMaybe $ lookupCtxt n $ idris_docstrings i
336336 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)))
338338 (record_parameters ri)
339339 pdocs <- mapM docFun (record_projections ri)
340340 ctorDocs <- docFun $ record_constructor ri