change boilerplate for 8.19 and beyond #44
Annotations
6 warnings
|
tutorial_type_classes/SRC/EMonoid.v#L7
A coercion will be introduced instead of an instance in future
|
|
tutorial_type_classes/SRC/Monoid_op_classes.v#L319
A coercion will be introduced instead of an instance in future
|
|
tutorial_type_classes/SRC/Monoid_op_classes.v#L442
A coercion will be introduced instead of an instance in future
|
|
tutorial_type_classes/SRC/Monoid_op_classes.v#L443
A coercion will be introduced instead of an instance in future
|
|
tutorial_type_classes/SRC/Monoid_op_classes.v#L464
A coercion will be introduced instead of an instance in future
|
|
tutorial_type_classes/SRC/Monoid_op_classes.v#L468
A coercion will be introduced instead of an instance in future
|
The logs for this run have expired and are no longer available.
Loading