Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Broken .rst format in all ghc-proposals #644

Open
VitWW opened this issue Mar 23, 2024 · 4 comments
Open

Broken .rst format in all ghc-proposals #644

VitWW opened this issue Mar 23, 2024 · 4 comments

Comments

@VitWW
Copy link

VitWW commented Mar 23, 2024 •
edited

.rst rendering format is broken in whole repository in *.rst files
In all accepted proposals and in new Pull requests.

  1. Code blocks are no longer are highlighted at all
  2. Table of contents is absent
  3. Initial Special-information block is no longer has special formatting and become visible as ordinary text

Also new commits no longer are marked with "Check" mark ("All checks have passed")

Please, fix it.
@adamgundry
Copy link
Contributor

The .rst GitHub renderer has been entirely broken on large files for a while (see https://github.com/orgs/community/discussions/86715). It looks like GitHub have now changed it so that it works on large files, but in the process have broken some of the rendering. I'm not sure we can do much about this other than ping GitHub support and hope they fix it.

Also new commits no longer are marked with "Check" mark ("All checks have passed")

Hopefully I've now fixed the ReadTheDocs build for new commits. This provides an alternative .rst renderer, albeit with its own quirks.

@nomeata
Copy link
Contributor

nomeata commented Mar 25, 2024 •
edited

That thread mentions the rstcheck tool, which does indeed complain about a few things that are worth fixing, e.g. Title underline too short..

It also complains about our “meta data headers” with “Unknown directive type "author".” etc., maybe worth changing that from unknown directive into a normal table.

Here the output of

nix run nixpkgs#rstcheck -- --ignore-directives author,date-accepted,ticket-url,implemented,highlight *.rst

ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0065-type-infix.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0274-quick-look-impredicativity.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0369-sum-to-tag.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0228-function-result-sigs.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0302-cases.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0581-namespace-specified-imports.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0581-namespace-specified-imports.rst' at line None
ERROR:rstcheck_core.checker:Could not find line for literal block directive. Source: '0581-namespace-specified-imports.rst' at line None
0000-template.rst:17: (WARNING/2) Duplicate explicit target name: "haskell 2010 report".
0000-template.rst:17: (INFO/1) Enumerated list start value not ordinal-1: "0" (ordinal 0)
0032-constraint-vs-type.rst:329: (INFO/1) Duplicate implicit target name: "effect and interactions".
0032-constraint-vs-type.rst:367: (INFO/1) Duplicate implicit target name: "costs and drawbacks".
0032-constraint-vs-type.rst:380: (INFO/1) Duplicate implicit target name: "alternatives".
0032-constraint-vs-type.rst:2: (WARNING/2) Duplicate explicit target name: "here".
0032-constraint-vs-type.rst:2: (WARNING/2) Duplicate explicit target name: "here".
0032-constraint-vs-type.rst:436: (INFO/1) Duplicate implicit target name: "implementation plan".
0032-constraint-vs-type.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "2" (ordinal 2)
0035-unbanged-strict-patterns.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "2" (ordinal 2)
0035-unbanged-strict-patterns.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "5" (ordinal 5)
0035-unbanged-strict-patterns.rst:2: (WARNING/2) Duplicate explicit target name: "manual".
0063-deriving-empty.rst:2: (WARNING/2) Duplicate explicit target name: "here".
0063-deriving-empty.rst:2: (WARNING/2) Duplicate explicit target name: "here".
0063-deriving-empty.rst:2: (WARNING/2) Duplicate explicit target name: "here".
0071-Wall-uni-patterns.rst:2: (WARNING/2) Title underline too short.
0080-type-level-type-applications.rst:12: (INFO/1) Hyperlink target "#12045" is not referenced.
0083-no-type-in-type.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "e" (ordinal 5)
0083-no-type-in-type.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "6" (ordinal 6)
0083-no-type-in-type.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "f" (ordinal 6)
0094-as-patterns-synonyms.rst:2: (WARNING/2) Title underline too short.
0094-as-patterns-synonyms.rst:49: (WARNING/2) Literal block expected; none found.
0094-as-patterns-synonyms.rst:57: (WARNING/2) Literal block expected; none found.
0094-as-patterns-synonyms.rst:65: (WARNING/2) Literal block expected; none found.
0094-as-patterns-synonyms.rst:92: (WARNING/2) Literal block expected; none found.
0094-as-patterns-synonyms.rst:116: (WARNING/2) Literal block expected; none found.
0098-unlifted-newtypes.rst:34: (WARNING/2) Title underline too short.
0098-unlifted-newtypes.rst:81: (WARNING/2) Title underline too short.
0098-unlifted-newtypes.rst:81: (WARNING/2) Title underline too short.
0098-unlifted-newtypes.rst:111: (WARNING/2) Title underline too short.
0098-unlifted-newtypes.rst:111: (WARNING/2) Title underline too short.
0098-unlifted-newtypes.rst:187: (WARNING/2) Title underline too short.
0098-unlifted-newtypes.rst:187: (WARNING/2) Title underline too short.
0108-plugin-recompilation.rst:2: (WARNING/2) Title underline too short.
0108-plugin-recompilation.rst:178: (ERROR/3) Unexpected indentation.
0108-plugin-recompilation.rst:115: (ERROR/3) Unknown target name: "ghc.fingerprint<https://hackage.haskell.org/package/base-4.10.1.0/docs/ghc-fingerprint.html>".
0109-quantified-constraints.rst:2: (INFO/1) Duplicate explicit target name: "quantified class constraints".
0109-quantified-constraints.rst:2: (INFO/1) Duplicate explicit target name: "the paper".
0109-quantified-constraints.rst:2: (INFO/1) Duplicate explicit target name: "the paper".
0111-linear-types.rst:42: (INFO/1) Enumerated list start value not ordinal-1: "4" (ordinal 4)
0111-linear-types.rst:263: (INFO/1) Duplicate implicit target name: "syntax".
0111-linear-types.rst:410: (WARNING/2) malformed hyperlink target.
0111-linear-types.rst:512: (INFO/1) Duplicate implicit target name: "monomorphisation".
0111-linear-types.rst:606: (INFO/1) Duplicate implicit target name: "multiplicities".
0111-linear-types.rst:197: (WARNING/2) Duplicate explicit target name: "here".
0111-linear-types.rst:875: (INFO/1) Duplicate implicit target name: "inference".
0111-linear-types.rst:911: (WARNING/2) Duplicate explicit target name: "here".
0111-linear-types.rst:1227: (INFO/1) Duplicate implicit target name: "without -xlineartypes".
0111-linear-types.rst:1299: (INFO/1) Duplicate implicit target name: "alternatives".
0111-linear-types.rst:1318: (ERROR/3) Unexpected indentation.
0111-linear-types.rst:1322: (WARNING/2) Block quote ends without a blank line; unexpected unindent.
0111-linear-types.rst:1447: (INFO/1) Duplicate implicit target name: "records in gadt syntax".
0111-linear-types.rst:1297: (INFO/1) Duplicate explicit target name: "3d-printable models".
0111-linear-types.rst:1752: (INFO/1) Duplicate implicit target name: "η-expansion".
0111-linear-types.rst:1968: (WARNING/2) malformed hyperlink target.
0111-linear-types.rst:2135: (WARNING/2) malformed hyperlink target.
0111-linear-types.rst:1297: (INFO/1) Duplicate explicit target name: "paper".
0111-linear-types.rst:2197: (INFO/1) Duplicate implicit target name: "the core corner".
0111-linear-types.rst:2195: (INFO/1) Duplicate explicit target name: "paper".
0111-linear-types.rst:2389: (INFO/1) Duplicate implicit target name: "unresolved questions".
0111-linear-types.rst:2394: (INFO/1) Duplicate implicit target name: "inference".
0111-linear-types.rst:2440: (INFO/1) Duplicate implicit target name: "patterns".
0111-linear-types.rst:2462: (INFO/1) Duplicate implicit target name: "syntax".
0111-linear-types.rst:2477: (WARNING/2) Duplicate explicit target name: "here".
0111-linear-types.rst:2489: (ERROR/3) Unexpected indentation.
0111-linear-types.rst:2486: (WARNING/2) Inline interpreted text or phrase reference start-string without end-string.
0111-linear-types.rst:9: (ERROR/3) Unknown target name: "discussed at pull request #111<https://github.com/ghc-proposals/ghc-proposals/pull/111>".
0111-linear-types.rst:9: (ERROR/3) Unknown target name: "amended by pull request #356<https://github.com/ghc-proposals/ghc-proposals/pull/356>".
0111-linear-types.rst:9: (ERROR/3) Unknown target name: "pull request #392<https://github.com/ghc-proposals/ghc-proposals/pull/392>".
0111-linear-types.rst:512: (INFO/1) Hyperlink target "monomorphisation-1" is not referenced.
0111-linear-types.rst:690: (INFO/1) Hyperlink target "patterns" is not referenced.
0111-linear-types.rst:1590: (INFO/1) Hyperlink target "binders-with-multiplicity" is not referenced.
0111-linear-types.rst:2114: (INFO/1) Hyperlink target "toplevel-binders" is not referenced.
0111-linear-types.rst:2252: (INFO/1) Hyperlink target "core-transformations" is not referenced.
0120-deriving-via.rst:2: (INFO/1) Duplicate explicit target name: "the paper".
0120-deriving-via.rst:2: (INFO/1) Duplicate explicit target name: "the paper".
0120-deriving-via.rst:2: (INFO/1) Duplicate explicit target name: "here".
0120-deriving-via.rst:2: (INFO/1) Duplicate explicit target name: "@ryanglscott".
0126-type-applications-in-patterns.rst:171: (WARNING/2) Title underline too short.
0126-type-applications-in-patterns.rst:171: (WARNING/2) Title underline too short.
0126-type-applications-in-patterns.rst:2: (INFO/1) Duplicate explicit target name: "proposal #96".
0143-remove-star-kind.rst:2: (INFO/1) Duplicate explicit target name: "#20".
0149-atomicModifyMutVar.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "0" (ordinal 0)
0160-no-toplevel-field-selectors.rst:2: (WARNING/2) Title underline too short.
0160-no-toplevel-field-selectors.rst:38: (INFO/1) Unexpected possible title overline or transition.
0160-no-toplevel-field-selectors.rst:52: (ERROR/3) Unknown target name: "example".
0166-ghci-instances.rst:2: (WARNING/2) Title underline too short.
0166-ghci-instances.rst:134: (ERROR/3) Error in "code-block" directive:
0193-forall-keyword.rst:2: (WARNING/2) Duplicate explicit target name: "discussion".
0195-code-texp.rst:2: (WARNING/2) Title underline too short.
0203-pointer-rep.rst:56: (INFO/1) Duplicate explicit target name: "unlifted array proposal".
0216-qualified-do.rst:2: (INFO/1) Duplicate explicit target name: "computation expressions".
0216-qualified-do.rst:2: (INFO/1) Duplicate explicit target name: "wiki page".
0228-function-result-sigs.rst:5: (INFO/1) No directive entry for "co-author" in module "docutils.parsers.rst.languages.en".
0228-function-result-sigs.rst:5: (ERROR/3) Unknown directive type "co-author".
0232-AmbiguousType-pragma.rst:28: (INFO/1) Possible title underline, too short for the title.
0232-AmbiguousType-pragma.rst:199: (WARNING/2) Title underline too short.
0232-AmbiguousType-pragma.rst:199: (WARNING/2) Title underline too short.
0232-AmbiguousType-pragma.rst:202: (INFO/1) Possible title underline, too short for the title.
0240-threaded-by-default.rst:33: (WARNING/2) Inline literal start-string without end-string.
0242-unsaturated-type-families.rst:577: (INFO/1) Duplicate implicit target name: "matchabilities".
0242-unsaturated-type-families.rst:627: (INFO/1) Duplicate implicit target name: "inference".
0242-unsaturated-type-families.rst:2: (INFO/1) Duplicate implicit target name: "explicit specificity".
0242-unsaturated-type-families.rst:238: (INFO/1) Hyperlink target "inference" is not referenced.
0242-unsaturated-type-families.rst:543: (INFO/1) Hyperlink target "syntax" is not referenced.
0265-unlifted-datatypes.rst:2: (INFO/1) Duplicate explicit target name: "#17521".
0281-visible-forall.rst:2: (INFO/1) Duplicate explicit target name: "haskell 2010 report".
0281-visible-forall.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "3" (ordinal 3)
0281-visible-forall.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "6" (ordinal 6)
0281-visible-forall.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "7" (ordinal 7)
0281-visible-forall.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "8" (ordinal 8)
0281-visible-forall.rst:2: (INFO/1) Duplicate explicit target name: "#378 design for dependent types".
0281-visible-forall.rst:2: (WARNING/2) Duplicate explicit target name: "#378 design for dependent types".
0281-visible-forall.rst:2: (WARNING/2) Duplicate explicit target name: "#378 design for dependent types".
0281-visible-forall.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "5" (ordinal 5)
0281-visible-forall.rst:2: (INFO/1) Duplicate explicit target name: "#402".
0282-record-dot-syntax.rst:512: (WARNING/2) Bullet list ends without a blank line; unexpected unindent.
0282-record-dot-syntax.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "2" (ordinal 2)
0282-record-dot-syntax.rst:516: (WARNING/2) Bullet list ends without a blank line; unexpected unindent.
0282-record-dot-syntax.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "3" (ordinal 3)
0282-record-dot-syntax.rst:520: (WARNING/2) Bullet list ends without a blank line; unexpected unindent.
0282-record-dot-syntax.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "4" (ordinal 4)
0282-record-dot-syntax.rst:217: (INFO/1) Hyperlink target "section-1" is not referenced.
0282-record-dot-syntax.rst:226: (INFO/1) Hyperlink target "section-2" is not referenced.
0282-record-dot-syntax.rst:237: (INFO/1) Hyperlink target "section-3" is not referenced.
0282-record-dot-syntax.rst:246: (INFO/1) Hyperlink target "section-4" is not referenced.
0287-simplify-subsumption.rst:316: (INFO/1) No role entry for "raw-latex" in module "docutils.parsers.rst.languages.en".
0287-simplify-subsumption.rst:316: (ERROR/3) Unknown interpreted text role "raw-latex".
0302-cases.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "2" (ordinal 2)
0302-cases.rst:1342: (WARNING/2) Inline literal start-string without end-string.
0302-cases.rst:1342: (WARNING/2) Inline literal start-string without end-string.
0302-cases.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "3" (ordinal 3)
0302-cases.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "4" (ordinal 4)
0313-delimited-continuation-primops.rst:291: (WARNING/2) Inline interpreted text or phrase reference start-string without end-string.
0313-delimited-continuation-primops.rst:294: (WARNING/2) Inline interpreted text or phrase reference start-string without end-string.
0313-delimited-continuation-primops.rst:294: (WARNING/2) Inline interpreted text or phrase reference start-string without end-string.
0330-exception-backtraces.rst:4: (INFO/1) No directive entry for "authors" in module "docutils.parsers.rst.languages.en".
0330-exception-backtraces.rst:4: (ERROR/3) Unknown directive type "authors".
0330-exception-backtraces.rst:305: (INFO/1) No role entry for "ref" in module "docutils.parsers.rst.languages.en".
0330-exception-backtraces.rst:305: (ERROR/3) Unknown interpreted text role "ref".
0330-exception-backtraces.rst:616: (INFO/1) No role entry for "ref" in module "docutils.parsers.rst.languages.en".
0330-exception-backtraces.rst:616: (ERROR/3) Unknown interpreted text role "ref".
0330-exception-backtraces.rst:718: (INFO/1) Duplicate implicit target name: "handling of rethrowing".
0366-no-ambiguous-field-access.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "4" (ordinal 4)
0370-modifiers.rst:2: (WARNING/2) Title underline too short.
0378-dependent-type-design.rst:641: (INFO/1) Duplicate implicit target name: "dependent pattern-match".
0378-dependent-type-design.rst:668: (INFO/1) Duplicate implicit target name: "term variables in types".
0378-dependent-type-design.rst:2: (INFO/1) Duplicate explicit target name: "#102".
0378-dependent-type-design.rst:1369: (INFO/1) Duplicate implicit target name: "unresolved questions".
0378-dependent-type-design.rst:1105: (ERROR/3) Unknown target name: "#378".
0380-ghc2021.rst:166: (INFO/1) Unexpected possible title overline or transition.
0380-ghc2021.rst:202: (INFO/1) Unexpected possible title overline or transition.
0380-ghc2021.rst:212: (INFO/1) Unexpected possible title overline or transition.
0402-gadt-syntax.rst:2: (INFO/1) Duplicate explicit target name: "#18389".
0409-exportable-named-default.rst:268: (INFO/1) Duplicate implicit target name: "extendeddefaultrules".
0409-exportable-named-default.rst:285: (INFO/1) Duplicate implicit target name: "overloadedstrings".
0425-decl-invis-binders.rst:5: (INFO/1) No directive entry for "co-author" in module "docutils.parsers.rst.languages.en".
0425-decl-invis-binders.rst:5: (ERROR/3) Unknown directive type "co-author".
0425-decl-invis-binders.rst:146: (WARNING/2) Literal block expected; none found.
0425-decl-invis-binders.rst:573: (INFO/1) Duplicate implicit target name: "scope".
0433-unsatisfiable.rst:2: (INFO/1) Duplicate explicit target name: "#20180".
0433-unsatisfiable.rst:2: (INFO/1) Duplicate explicit target name: "#20241".
0433-unsatisfiable.rst:2: (INFO/1) Duplicate explicit target name: "proposal #59".
0433-unsatisfiable.rst:2: (INFO/1) Duplicate explicit target name: "#18310".
0448-type-variable-scoping.rst:368: (INFO/1) Duplicate implicit target name: "motivation".
0448-type-variable-scoping.rst:397: (INFO/1) Duplicate implicit target name: "proposed change specification".
0448-type-variable-scoping.rst:2: (WARNING/2) Duplicate explicit target name: "#15050".
0448-type-variable-scoping.rst:549: (INFO/1) Duplicate implicit target name: "effects".
0448-type-variable-scoping.rst:583: (INFO/1) Duplicate implicit target name: "motivation".
0448-type-variable-scoping.rst:622: (INFO/1) Duplicate implicit target name: "proposed change specification".
0448-type-variable-scoping.rst:872: (INFO/1) Duplicate implicit target name: "effects".
0448-type-variable-scoping.rst:959: (INFO/1) Duplicate implicit target name: "alternatives".
0448-type-variable-scoping.rst:1055: (INFO/1) Duplicate implicit target name: "costs and drawbacks".
0448-type-variable-scoping.rst:1064: (INFO/1) Duplicate implicit target name: "alternatives".
0448-type-variable-scoping.rst:10: (ERROR/3) Unknown target name: "amended by #604 <hhttps://github.com/ghc-proposals/ghc-proposals/pull/604".
0448-type-variable-scoping.rst:350: (ERROR/3) Unknown target name: "local lexical scoping principle".
0448-type-variable-scoping.rst:21: (INFO/1) Hyperlink target "#228" is not referenced.
0448-type-variable-scoping.rst:27: (INFO/1) Hyperlink target "#378" is not referenced.
0448-type-variable-scoping.rst:31: (INFO/1) Hyperlink target "kind inference for datatypes" is not referenced.
0448-type-variable-scoping.rst:39: (INFO/1) Hyperlink target "syntactic unification principle" is not referenced.
0448-type-variable-scoping.rst:340: (INFO/1) Hyperlink target "pattern-type-args" is not referenced.
0448-type-variable-scoping.rst:577: (INFO/1) Hyperlink target "type-vars-in-lambda" is not referenced.
0448-type-variable-scoping.rst:750: (INFO/1) Hyperlink target "fraught-relationship" is not referenced.
0448-type-variable-scoping.rst:843: (INFO/1) Hyperlink target "varying-type-lambda-examples" is not referenced.
0475-tuple-syntax.rst:2: (WARNING/2) Duplicate explicit target name: "below".
0475-tuple-syntax.rst:391: (INFO/1) Hyperlink target "constraints-special-syntax" is not referenced.
0496-empty-record-wildcards.rst:2: (WARNING/2) Title underline too short.
0518-type-vs-constraint.rst:2: (WARNING/2) Title underline too short.
0518-type-vs-constraint.rst:245: (INFO/1) Duplicate implicit target name: "type and constraint are not apart".
0518-type-vs-constraint.rst:285: (INFO/1) Hyperlink target "#524" is not referenced.
0518-type-vs-constraint.rst:343: (WARNING/2) (rst) Link is formatted in Markdown style.
0522-or-patterns.rst:2: (WARNING/2) Duplicate explicit target name: "discussed at this pull request".
0522-or-patterns.rst:135: (WARNING/2) Title underline too short.
0522-or-patterns.rst:135: (WARNING/2) Title underline too short.
0522-or-patterns.rst:147: (INFO/1) Possible title underline, too short for the title.
0522-or-patterns.rst:156: (WARNING/2) Title underline too short.
0522-or-patterns.rst:156: (WARNING/2) Title underline too short.
0522-or-patterns.rst:290: (WARNING/2) Title underline too short.
0522-or-patterns.rst:367: (WARNING/2) Title underline too short.
0522-or-patterns.rst:367: (WARNING/2) Title underline too short.
0522-or-patterns.rst:383: (WARNING/2) Title underline too short.
0522-or-patterns.rst:383: (WARNING/2) Title underline too short.
0522-or-patterns.rst:431: (WARNING/2) Title underline too short.
0522-or-patterns.rst:2: (INFO/1) Duplicate explicit target name: "parser.y".
0522-or-patterns.rst:342: (INFO/1) Hyperlink target "target-4" is not referenced.
0540-jsem.rst:3: (INFO/1) Enumerated list start value not ordinal-1: "3" (ordinal 3)
0540-jsem.rst:3: (INFO/1) Duplicate implicit target name: "multiple home units".
0541-warning-pragmas-with-categories.rst:2: (INFO/1) Duplicate explicit target name: "proposal #454".
0555-template-patterns.rst:41: (INFO/1) Possible title underline, too short for the title.
0555-template-patterns.rst:103: (INFO/1) Possible title underline, too short for the title.
0555-template-patterns.rst:196: (INFO/1) Possible title underline, too short for the title.
0555-template-patterns.rst:203: (INFO/1) Possible title underline, too short for the title.
0555-template-patterns.rst:302: (INFO/1) Possible title underline, too short for the title.
0555-template-patterns.rst:2: (INFO/1) Duplicate explicit target name: ""higher-order matching for program transformation"".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "proposal #270".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "proposal #270".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "proposal #270".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "proposal #65".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "proposal #65".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "ghc issue #22581".
0581-namespace-specified-imports.rst:2: (INFO/1) Duplicate explicit target name: "proposal #214".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #405".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #286".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #286".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #286".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #158".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #286".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #515".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #516".
0583-hasfield-redesign.rst:1057: (INFO/1) Duplicate implicit target name: "representation polymorphism".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #515".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "proposal #282".
0583-hasfield-redesign.rst:2: (INFO/1) Duplicate explicit target name: "ghc merge request !3257".
0586-split-wunused-imports.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "0" (ordinal 0)
0586-split-wunused-imports.rst:2: (INFO/1) Enumerated list start value not ordinal-1: "0" (ordinal 0)
0586-split-wunused-imports.rst:171: (INFO/1) Hyperlink target "section-1" is not referenced.
0586-split-wunused-imports.rst:189: (INFO/1) Hyperlink target "section-2" is not referenced.
0586-split-wunused-imports.rst:207: (INFO/1) Hyperlink target "section-3" is not referenced.
0586-split-wunused-imports.rst:225: (INFO/1) Hyperlink target "section-4" is not referenced.
Error! Issues detected.

@nomeata
Copy link
Contributor

nomeata commented Mar 25, 2024

Oh, and once that tool is happy, maybe add it as a CI check :)

@adamgundry
Copy link
Contributor

I tried making rstcheck and rst2html --strict happy at https://github.com/adamgundry/ghc-proposals/blob/wip/rst-fixes/proposals/0000-template.rst but the table of contents is still missing (and I can't get highlighting). The table for the metadata is a minor improvement, but will require a bit of effort to apply to the existing proposals. Hopefully GitHub will fix their renderer at some point...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@nomeata @adamgundry @VitWW