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