Zulip Chat Archive

Stream: Zulip meta

Topic: unicode characters in docs links


view this post on Zulip Eric Wieser (Nov 27 2020 at 19:12):

This fails: docs#polynomial.eval₂_ring_hom

view this post on Zulip Eric Wieser (Dec 03 2020 at 18:05):

As does docs#exterior_algebra.ι_multi

view this post on Zulip Rob Lewis (Dec 03 2020 at 18:07):

I don't know an immediate way to fix this and I'm not gonna think hard about it, if you can suggest an improvement to docs#(?P<decl>[a-zA-Z0-9_.'-]*[a-zA-Z0-9_'-]) I'm all ears.

view this post on Zulip Eric Wieser (Dec 03 2020 at 18:12):

Depending on the regex engine, using \p{L} to mean "any unicode letter" in the [] might work

view this post on Zulip Eric Wieser (Dec 03 2020 at 18:16):

If that doesn't work, putting (?u) on the front might help

view this post on Zulip Eric Wieser (Dec 03 2020 at 18:17):

So (?u)(?P<decl>[a-zA-Z0-9_.'-\p{L}]*[a-zA-Z0-9_'-\p{L}]), maybe

view this post on Zulip Eric Wieser (Dec 03 2020 at 18:20):

Ah, the docs seem to suggest it's python syntax - in which case
(?u)(?P<decl>[\w_.'-]*[\w_'-])
Since \w is unicode by default.

view this post on Zulip Rob Lewis (Dec 03 2020 at 18:57):

Eric Wieser said:

Ah, the docs seem to suggest it's python syntax - in which case
(?u)(?P<decl>[\w_.'-]*[\w_'-])
Since \w is unicode by default.

Failed: Invalid filter pattern. Valid characters are [ a-zA-Z_#=/:+!-].

view this post on Zulip Eric Wieser (Dec 03 2020 at 19:06):

How about if you drop the (?u)? (and add back the missing docs# that I forgot, whoops)

view this post on Zulip Rob Lewis (Dec 03 2020 at 19:09):

udocs#polynomial.eval₂_ring_hom
udocs#nat.succ

view this post on Zulip Rob Lewis (Dec 03 2020 at 19:10):

udocs#exterior_algebra.ι_multi

view this post on Zulip Rob Lewis (Dec 03 2020 at 19:10):

Nice, see if you can break that, if not I'll change docs#

view this post on Zulip Eric Wieser (Dec 03 2020 at 19:13):

Punctuation: udocs#ι,udocs#ι;udocs#ι|udocs#ι⟨udocs#ι⟩udocs#ι

view this post on Zulip Eric Wieser (Dec 03 2020 at 19:13):

Or is there just a link limit: udocs#ι,udocs#ι,udocs#ι,udocs#ι,udocs#ι

view this post on Zulip Eric Wieser (Dec 03 2020 at 19:14):

docs#ι,docs#ι;docs#ι|docs#ι⟨docs#ι⟩docs#ι

view this post on Zulip Eric Wieser (Dec 03 2020 at 19:14):

docs#a,docs#a;docs#a|docs#a⟨docs#a⟩docs#a

view this post on Zulip Eric Wieser (Dec 03 2020 at 19:14):

Well, it was broken before anyway

view this post on Zulip Rob Lewis (Dec 03 2020 at 20:38):

Okay, good enough for me. docs#polynomial.eval₂_ring_hom src#polynomial.eval₂_ring_hom


Last updated: May 08 2021 at 21:09 UTC