Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
There was a weird effect that types did not use to redirect to type (the links on all entries using “types” were gray and broken) even though the entry type did declare that redirect.
I think I once tried to fix it by clearing that redirect command and entering it again, but without effect. Now I did it once more, and now it seems to work.
Sorry, so this is not a report of a problem. The problem seems to have gone away. But something strange may still be going on. Or else I am maybe dreaming.
No, I am not dreaming. This kind of problem also affects other entries. I have run into two more.
Currently the redirect type theories is broken. Check out the Sandobox, but see the last line of the source for the entry “type theory” to see that the redirect is declared all right.
Last time removing the redirect and then retyping it seemed to be what solved the problem. I won’t do it now, to retain the chance to identify what the problem is.
I deleted spaces then reinserted them and the problem cleared. This suggests that there may have been some unseen character lurking there. I also deleted one blank line above the redirect.
The problem appeared also for dependent types.
I have first tried replacing just the whitespace in the redirect
[[!redirects dependent types]]
but that did not help. Then I have removed the whole line and retyped it. That helped.
So something bad is still going on.
Very strange. I will try to look into this at some point.
Is it maybe not a coincidence that the problem occurs in entries with the word “type” in them? Maybe “type” is also being used (now) as a command for instiki, of sorts, so that the parser gets mixed up?
Ah, no, the problem is not related to the string “type”. I now see the same problem with “invariants”.
Check out the Sandbox which has in the source code
[[invariants]]
but produces a grayish broken link, even though the entry invariant does declare the redirect (and does so without typos, unless I am mixed up).
But here is something even stranger, which might give a hint as to what’s going on: I noticed the broken links while looking at group cohomology (which certainly did not use to have any broken links back then). Now, while the two links coded
[[invariants]]
there were broken (I have worked around it now by hand), the entry also had the code
[[invariants|∞-invariants]]
and that did produce a working link (even though there was the “s” there ).
Maybe I shouldn’t have worked around both problems in the entry “group cohomology”, for the second (non-)issue doesn’t reproduce in the Sandbox.
But anyway, something is still broken with the redirects.
Just for the record: the redirects-bug persists. I keep running into redirects that certainly did work, but no longer do. See for instance here the second paragraph. The links to Cattaneo and Felder are broken, even though the redirects to, respectively, Alberto Cattaneo and Giovanni Felder do exist.
1 to 8 of 8