Check world (test F* + all subprojects) #102
Annotations
10 warnings
|
Build:
dummy#L1
(274) * Warning 274:
- Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c'
in file "/__w/FStar/FStar/karamel/krmllib/C.fst".
- Rename "/__w/FStar/FStar/karamel/krmllib/C.fst" to avoid conflicts.
|
|
Build:
dummy#L1
(274) * Warning 274:
- Implicitly opening namespace 'cddl.pulse.ast.det.' shadows module 'c'
in file "/__w/FStar/FStar/karamel/krmllib/C.fst".
- Rename "/__w/FStar/FStar/karamel/krmllib/C.fst" to avoid conflicts.
|
|
Build:
dummy#L1
(361) * Warning 361 at Options.fst(594,0-597,15):
- Some #push-options have not been popped. Current depth is 1.
|
|
Build:
dummy#L1
(274) * Warning 274:
- Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c'
in file "/__w/FStar/FStar/karamel/krmllib/C.fst".
- Rename "/__w/FStar/FStar/karamel/krmllib/C.fst" to avoid conflicts.
|
|
Build:
dummy#L1
(242) * Warning 242 at Ast.fst(395,0-429,18):
- Definitions of inner let-rec seq and its enclosing top-level letbinding are
not encoded to the solver, you will only be able to reason with their types
- Also see: Ast.fst(397,12-397,15)
|
|
Build:
dummy#L1
(242) * Warning 242 at Ast.fst(1251,0-1256,14):
- Definitions of inner let-rec seq and its enclosing top-level letbinding are
not encoded to the solver, you will only be able to reason with their types
- Also see: Ast.fst(397,12-397,15)
|
|
Build:
src/lowparse/LowParse.Spec.Enum.fst#L107
(328) * Warning 328 at src/lowparse/LowParse.Spec.Enum.fst(107,8-107,24):
- Global binding
'LowParse.Spec.Enum.assoc_flip_intro'
is recursive but not used in its body
|
|
Build:
dummy#L1
(361) * Warning 361 at src/lowparse/LowParse.BitFields.fst(1276,0-1276,29):
- Some #push-options have not been popped. Current depth is 1.
|
|
Build:
Target.fst#L958
(337) * Warning 337 at Target.fst(958,28-958,29):
- The operator '@' has been resolved to FStar.List.Tot.append even though
FStar.List.Tot is not in scope. Please add an 'open FStar.List.Tot' to stop
relying on this deprecated, special treatment of '@'.
|
|
Build:
Target.fst#L1051
(337) * Warning 337 at Target.fst(1051,69-1051,70):
- The operator '@' has been resolved to FStar.List.Tot.append even though
FStar.List.Tot is not in scope. Please add an 'open FStar.List.Tot' to stop
relying on this deprecated, special treatment of '@'.
|
Loading