@@ -15,7 +15,9 @@ import Data.List
1515import qualified Data.Text as T
1616
1717-- TODO: Only include names with public/abstract accessibility
18−
18+--
19+-- Issue #1573 on the Issue tracker.
20+-- https://github.com/idris-lang/Idris-dev/issues/1573
1921data FunDoc = FD Name (Docstring (Maybe Term))
2022 [(Name, PTerm, Plicity, Maybe (Docstring (Maybe Term)))] -- args: name, ty, implicit, docs
2123 PTerm -- function type
@@ -203,5 +205,3 @@ pprintConstDocs ist c str = text "Primitive" <+> text (if constIsType c then "ty
203205 t (Str _) = PConstant StrType
204206 t (Ch c) = PConstant $ AType (ATInt ITChar)
205207 t _ = PType
206−
207−