aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-07-23 08:24:09 +0000
committersimonmar <unknown>2002-07-23 08:24:09 +0000
commite9301e1432e921e0a0dcae02c3f193b537b17f06 (patch)
tree79ab7aea1314b40d5f3eaef46e3a37bf18c041a2
parentd205fa600a97d42200f20c74dc12f60032d013b5 (diff)
[haddock @ 2002-07-23 08:24:09 by simonmar]
A new TODO list item
-rw-r--r--TODO3
1 files changed, 3 insertions, 0 deletions
diff --git a/TODO b/TODO
index ae04a5c3..8eb70c44 100644
--- a/TODO
+++ b/TODO
@@ -53,6 +53,9 @@
* include file revision info in module headers
+* Allow individual function arguments to be documented when the function
+ type is a record element?
+
-----------------------------------------------------------------------------
-- cosmetic