Require Import BinNat before using it in ParseArithmetic.v #4691
Annotations
23 warnings
|
A brownout will take place on November 4, 14:00 UTC - November 5, 00:00 UTC to raise awareness of the upcoming macOS-12 environment removal. For more details, see https://github.com/actions/runner-images/issues/10721
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 53, characters 35-42:
Warning: Notation mod_mod is deprecated since 8.17. Use Div0.mod_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 192, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 221, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 4-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 4-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 287, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Rewriter/Util/NatUtil.v", line 305, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 155, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 155, characters 43-50:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 184, characters 12-23:
Warning: Notation mod_add is deprecated since 8.17. Use Div0.mod_add instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 4-line warning:
File "./src/Util/NatUtil.v", line 251, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 4-line warning:
File "./src/Util/NatUtil.v", line 251, characters 28-36:
Warning: Notation mod_same is deprecated since 8.17.
Use Div0.mod_same instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 271, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
Could not find a terminator for 3-line warning:
File "./src/Util/NatUtil.v", line 271, characters 10-17:
Warning: Notation add_mod is deprecated since 8.17. Use Div0.add_mod instead.
[deprecated-syntactic-definition-since-8.17,deprecated-since-8.17,deprecated-syntactic-definition,deprecated,default]
|
|
You are using macOS 12.
We (and Apple) do not provide support for this old version.
It is expected behaviour that some formulae will fail to build in this old version.
It is expected behaviour that Homebrew will be buggy and slow.
Do not create any issues about this on Homebrew's GitHub repositories.
Do not create any issues even if you think this message is unrelated.
Any opened issues will be immediately closed without response.
Do not ask for help from Homebrew or its maintainers on social media.
You may ask for help in Homebrew's discussions but are unlikely to receive a response.
Try to figure out the problem yourself and submit a fix as a pull request.
We will review it but may or may not accept it.
|
|
You are using macOS 12.
We (and Apple) do not provide support for this old version.
It is expected behaviour that some formulae will fail to build in this old version.
It is expected behaviour that Homebrew will be buggy and slow.
Do not create any issues about this on Homebrew's GitHub repositories.
Do not create any issues even if you think this message is unrelated.
Any opened issues will be immediately closed without response.
Do not ask for help from Homebrew or its maintainers on social media.
You may ask for help in Homebrew's discussions but are unlikely to receive a response.
Try to figure out the problem yourself and submit a fix as a pull request.
We will review it but may or may not accept it.
|
The logs for this run have expired and are no longer available.
Loading