wip generic typing lemmas #474
Annotations
1 error and 10 warnings
|
Docker-Coq-Action:
theories/GenericTyping.v#L901
Syntax error: '@' expected after [term level 200] (in [term]).
|
|
Docker-Coq-Action
Argument B was previously inferred to be in scope type_scope but is
|
|
Docker-Coq-Action
Argument B was previously inferred to be in scope type_scope but is
|
|
Docker-Coq-Action
Argument B was previously inferred to be in the empty scope stack
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1276
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1278
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1280
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1282
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1284
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1286
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1335
The default value for instance locality is currently "local" in a
|
The logs for this run have expired and are no longer available.
Loading