mixin-instance-type->mixin-src does not use the typing information
#1383
TragicusAnnotations
1 error and 10 warnings
|
opam (9.0):
tests/unit/mk_src_map.v#L12
The elpi tactic/command HB.structure failed without giving a specific
|
|
opam (9.0):
HB/structures.v#L35
Coq.Init.Logic.eq has been replaced by Corelib.Init.Logic.eq.
|
|
opam (9.0):
HB/structures.v#L34
Coq.ssr.ssreflect.Phantom has been replaced by
|
|
opam (9.0):
HB/structures.v#L33
Coq.ssr.ssreflect.phantom has been replaced by
|
|
opam (9.0):
HB/structures.v#L32
Coq.ssr.ssreflect.Phant has been replaced by
|
|
opam (9.0):
HB/structures.v#L31
Coq.ssr.ssreflect.phant has been replaced by
|
|
opam (9.0):
HB/structures.v#L30
Coq.Init.Specif.sigT has been replaced by Corelib.Init.Specif.sigT.
|
|
opam (9.0):
HB/structures.v#L29
Coq.Init.Datatypes.prod has been replaced by
|
|
opam (9.0):
HB/structures.v#L28
Coq.Init.Datatypes.pair has been replaced by
|
|
opam (9.0):
HB/structures.v#L27
Coq.Init.Datatypes.Some has been replaced by
|
|
opam (9.0):
HB/structures.v#L24
Coq.Init.Datatypes.None has been replaced by
|