fix arith deprecations #31
Annotations
10 warnings
|
theories/Classes.v#L24
A coercion will be introduced instead of an instance in future
|
|
theories/Classes.v#L93
A coercion will be introduced instead of an instance in future
|
|
theories/Classes.v#L100
A coercion will be introduced instead of an instance in future
|
|
theories/Classes.v#L108
A coercion will be introduced instead of an instance in future
|
|
theories/Classes.v#L117
A coercion will be introduced instead of an instance in future
|
|
theories/Classes.v#L129
A coercion will be introduced instead of an instance in future
|
|
theories/Classes.v#L143
A coercion will be introduced instead of an instance in future
|
|
theories/Functors.v#L38
A coercion will be introduced instead of an instance in future
|
|
theories/Functors.v#L44
A coercion will be introduced instead of an instance in future
|
|
theories/Functors.v#L73
A coercion will be introduced instead of an instance in future
|
The logs for this run have expired and are no longer available.
Loading