Failed to resolve module path identifier

[zapashcanon]

Hi,

When applying this change to Owi, I got the following:

$ dune b @doc
File "../../src/.owi.objs/byte/owi.odoc":
Warning: Failed to resolve module path identifier((root Owi__Symbolic_value).{Bool}1, true) Lookup failure (module): (root Owi__Symbolic_value).{Bool}1

This may be similar to #789 but I'm not completely sure.

[jonludlam]

Can you please see if applying PR #1081 helps at all? It looks to me like it's looking up a shadowed value which doesn't work well in master - that PR might fix it.

[zapashcanon]

I don't see the warning anymore with this patch indeed!

[jonludlam]

Good news, thanks for checking!