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!

[zapashcanon]

@jonludlam I believe this can be closed, right ? :)

[jonludlam]

Yes :-)

[zapashcanon]

@jonludlam, I tried again now that a new version has been released since and it seems to be back:

$ 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
File "../../src/.owi.objs/byte/owi.odoc":
Warning: Failed to resolve module path identifier((root Owi__Concolic_value).{Bool}1, true) Lookup failure (module): (root Owi__Concolic_value).{Bool}1

I'm on odoc 2.4.4.

[zapashcanon]

(I can't re-open the issue...)

[jonludlam]

It's not fixed in v2.4.x, it's in 3.0 (and there's only a beta of that out yet!)