Report on the doc: URLs to Prim.Row module are unreachable

[matoruru]

Hello maintainer,

I found some unreachable URLs as the issue title.

For Example: in https://pursuit.purescript.org/packages/purescript-typelevel-prelude/5.0.0/docs/Type.Row, "Re-exports from Prim.Row" is an unreachable link. The destination is https://pursuit.purescript.org/packages/purescript-typelevel-prelude/5.0.0/docs/Prim.Row

[matoruru]

I think it need to be updated.

[garyb]

I think this a bug in pursuit, the Prim modules are special, so the link should resolve to https://pursuit.purescript.org/builtins/docs/Prim.Row rather than treating it as a normal module.

Do you agree @hdgarrood? If so, let's move the issue over there.

[hdgarrood]

This is definitely a bug in either pursuit or the compiler, because this link is rendered by one of them (I don’t remember which). In any case it is definitely not the responsibility of the library author.

I think this bug might already have been fixed, and we might just need to update Pursuit to build against the latest compiler and deploy it.

[garyb]

Okidoke. I'll transfer this to the pursuit repo anyway then, and we can close it when we figure out what's responsible / whether it's fixed. 🙂

[paulyoung]

I just experienced this at https://pursuit.purescript.org/packages/purescript-typelevel-prelude/5.0.2/docs/Type.Row#t:type%20(+)

I was taken to https://pursuit.purescript.org/packages/purescript-typelevel-prelude/5.0.2/docs/Prim.Row

[JordanMartinez]

This bug still exists.