Check world (test F* + all subprojects) #80
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Test:
steel/share/steel/examples/steel/Duplex.PingPong.fst#L14
(350) * Warning 350 at /__w/FStar/FStar/steel/share/steel/examples/steel/Duplex.PingPong.fst(14,2-16,6):
- The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.
|
|
Test:
steel/share/steel/examples/steel/Duplex.PingPong.fst#L15
(350) * Warning 350 at /__w/FStar/FStar/steel/share/steel/examples/steel/Duplex.PingPong.fst(15,2-16,6):
- The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.
|
|
Test:
steel/share/steel/examples/steel/PingPong.fst#L33
(350) * Warning 350 at /__w/FStar/FStar/steel/share/steel/examples/steel/PingPong.fst(33,2-35,15):
- The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.
|
|
Test:
steel/share/steel/examples/steel/PingPong.fst#L34
(350) * Warning 350 at /__w/FStar/FStar/steel/share/steel/examples/steel/PingPong.fst(34,2-35,15):
- The lightweight do notation [x <-- y; z] or [x ;; z] is deprecated, use let operators (i.e. [let* x = y in z] or [y ;* z], [*] being any sequence of operator characters) instead.
|
|
Test:
dummy#L1
(274) * Warning 274:
- Implicitly opening namespace 'cqueue.' shadows module 'llist' in file
"/__w/FStar/FStar/steel/share/steel/examples/steel/LList.fst".
- Rename
"/__w/FStar/FStar/steel/share/steel/examples/steel/LList.fst"
to avoid conflicts.
|
|
Test:
dummy#L1
(274) * Warning 274:
- Implicitly opening namespace 'duplex.' shadows module 'pingpong' in file
"/__w/FStar/FStar/steel/share/steel/examples/steel/PingPong.fst".
- Rename
"/__w/FStar/FStar/steel/share/steel/examples/steel/PingPong.fst"
to avoid conflicts.
|
|
Test:
dummy#L1
(274) * Warning 274:
- Implicitly opening namespace 'selectors.' shadows module 'llist' in file
"/__w/FStar/FStar/steel/share/steel/examples/steel/LList.fst".
- Rename
"/__w/FStar/FStar/steel/share/steel/examples/steel/LList.fst"
to avoid conflicts.
|
|
Test:
steel/share/steel/tests/TopLevelIndexedEffects.fst#L18
(272) * Warning 272 at /__w/FStar/FStar/steel/share/steel/tests/TopLevelIndexedEffects.fst(18,0-21,49):
- Top-level let-bindings must be total; this term may have effects
|
|
Test:
steel/share/steel/tests/TopLevelIndexedEffects.fst#L32
(272) * Warning 272 at /__w/FStar/FStar/steel/share/steel/tests/TopLevelIndexedEffects.fst(32,0-35,91):
- Top-level let-bindings must be total; this term may have effects
|
|
Test:
dummy#L1
(361) * Warning 361 at /__w/FStar/FStar/steel/share/steel/tutorial/References.fst(59,0-72,6):
- Some #push-options have not been popped. Current depth is 1.
|
Loading