| Title | Incorrect glossary link from "committed" to "mapping" |
| Status | closed |
| Priority | essential |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The documentation for mps_arena_committed [1] says: Return the total :term:`committed <mapped>` memory for an :term:`arena`. but when rendered to HTML [2] the link from "committed" goes to the glossary entry for "mapping". |
| Analysis | The glossary link rewriting code in the GlossaryTransform class [3] has incorrectly decided to rewrite links to the term "mapped" so that they go to "mapping". This shouldn't happen because there's already a term "mapped" for them to go to. |
| How found | manual_test |
| Evidence | [1] <https://info.ravenbrook.com/project/mps/master/manual/source/topic/arena.rst>[2] < https://info.ravenbrook.com/project/mp...ml/topic/arena.html#mps_arena_committed>[3] < https://info.ravenbrook.com/project/mps/master/manual/source/extensions/mps.py> |
| Created by | Gareth Rees |
| Created on | 2013-03-07 16:23:00 |
| Last modified by | Gareth Rees |
| Last modified on | 2013-03-08 11:00:46 |
| History | 2013-03-07 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 181086 | closed | 2013-03-08 11:00:30 | Gareth Rees | Don't create an automatic cross-reference if the source already exists (in particular, don't send "mapped" to "mapping" since we already have an entry for "mapped"). |