@@ -1136,7 +1136,8 @@ accData a n ns = do addAcc n a
11361136 mapM_ (`addAcc` a) ns
11371137
11381138pRecord :: SyntaxInfo -> IParser PDecl
1139−pRecord syn = do acc <- pAccessibility
1139+pRecord syn = do doc <- option "" (pDocComment '|')
1140+ acc <- pAccessibility
11401141 reserved "record"
11411142 fc <- pfc
11421143 tyn_in <- pfName
@@ -1154,7 +1155,7 @@ pRecord syn = do acc <- pAccessibility
11541155 syn_namespace syn }
11551156 let fns = getRecNames rsyn cty
11561157 mapM_ (\n -> addAcc n acc) fns
1157− return $ PRecord "" rsyn fc tyn ty cdoc cn cty
1158+ return $ PRecord doc rsyn fc tyn ty cdoc cn cty
11581159 where
11591160 getRecNames syn (PPi _ n _ sc) = [expandNS syn n, expandNS syn (mkSet n)]
11601161 ++ getRecNames syn sc