Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Maven Central contain wrong (not actual) version of Polystat #25

Closed
APotyomkin opened this issue Dec 13, 2021 · 5 comments
Closed

Maven Central contain wrong (not actual) version of Polystat #25

APotyomkin opened this issue Dec 13, 2021 · 5 comments

Comments

@APotyomkin
Copy link

I downloaded a 0.1.0 version from Maven Central and ran Polystat on mutual recursion example, and got:

java -jar polystat.jar sandbox temp
No errors

Then I built a .jar from sources, and reran Polystat on the same example, and got:

 java -jar target/polystat-1.0-SNAPSHOT-jar-with-dependencies.jar sandbox temp
No errors
Warning
  XTDE0540: Ambiguous rule match for /objects/o[1]/o[2]/o[1]
Matches both "element(Q{}o)[((empty(attribute::attribute(Q{}base))) and
  (exists(attribute::attribute(Q{}name)))) and
  ((data(parent::element(Q{}o)/attribute::attribute(Q{}line))) = data(@line))]" on line 53 of
and "element(Q{}o)[empty(attribute::attribute(Q{}base))]" on line 42 of
Warning
  XTDE0540: Ambiguous rule match for /objects/o[1]/o[2]/o[2]
Matches both "element(Q{}o)[((empty(attribute::attribute(Q{}base))) and
  (exists(attribute::attribute(Q{}name)))) and
  ((data(parent::element(Q{}o)/attribute::attribute(Q{}line))) = data(@line))]" on line 53 of
and "element(Q{}o)[empty(attribute::attribute(Q{}base))]" on line 42 of
Warning
  XTDE0540: Ambiguous rule match for /objects/o[1]/o[3]/o[1]
Matches both "element(Q{}o)[((empty(attribute::attribute(Q{}base))) and
  (exists(attribute::attribute(Q{}name)))) and
  ((data(parent::element(Q{}o)/attribute::attribute(Q{}line))) = data(@line))]" on line 53 of
and "element(Q{}o)[empty(attribute::attribute(Q{}base))]" on line 42 of
Warning
  XTDE0540: Ambiguous rule match for /objects/o[1]/o[3]/o[2]
Matches both "element(Q{}o)[((empty(attribute::attribute(Q{}base))) and
  (exists(attribute::attribute(Q{}name)))) and
  ((data(parent::element(Q{}o)/attribute::attribute(Q{}line))) = data(@line))]" on line 53 of
and "element(Q{}o)[empty(attribute::attribute(Q{}base))]" on line 42 of
Warning
  XTDE0540: Ambiguous rule match for /objects/o[2]/o[2]/o[1]
Matches both "element(Q{}o)[((empty(attribute::attribute(Q{}base))) and
  (exists(attribute::attribute(Q{}name)))) and
  ((data(parent::element(Q{}o)/attribute::attribute(Q{}line))) = data(@line))]" on line 53 of
and "element(Q{}o)[empty(attribute::attribute(Q{}base))]" on line 42 of
Warning
  XTDE0540: Ambiguous rule match for /objects/o[2]/o[2]/o[2]
Matches both "element(Q{}o)[((empty(attribute::attribute(Q{}base))) and
  (exists(attribute::attribute(Q{}name)))) and
  ((data(parent::element(Q{}o)/attribute::attribute(Q{}line))) = data(@line))]" on line 53 of
and "element(Q{}o)[empty(attribute::attribute(Q{}base))]" on line 42 of
Error: Method `foo.n` is mutually recursive with method `base.m` through the following possible code path:
foo.n -> base.m -> foo.n
Error: Method `base.m` is mutually recursive with method `foo.n` through the following possible code path:
base.m -> foo.n -> base.m

It seems to me, that .jar file from Maven Central doesn't contain odin, because I can see only one message No errors

yegor256 added a commit that referenced this issue Dec 15, 2021
yegor256 added a commit that referenced this issue Dec 15, 2021
@yegor256
Copy link
Member

@rultor release, tag is 0.2.0

@rultor
Copy link
Contributor

rultor commented Dec 15, 2021

@rultor release, tag is 0.2.0

@yegor256 OK, I will release it now. Please check the progress here

@rultor
Copy link
Contributor

rultor commented Dec 15, 2021

@rultor release, tag is 0.2.0

@yegor256 Done! FYI, the full log is here (took me 9min)

@yegor256
Copy link
Member

@APotyomkin try version 0.2.0

@APotyomkin
Copy link
Author

@yegor256 thanks, now it works well

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants