Use the directory of any file on the command line in the include path rather than "." #187
Annotations
1 error and 11 warnings
|
Run tests, without forcing a build
Process completed with exit code 2.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run tests, without forcing a build:
tests/simple_hello/Hello.fst#L5
(272) * Warning 272 at /__w/FStar/FStar/tests/simple_hello/Hello.fst(5,0-5,34):
- Top-level let-bindings must be total; this term may have effects
|
|
Run tests, without forcing a build:
doc/book/code/Part2.Free.fst#L132
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.Free.fst(132,4-134,12):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.Free.fst#L133
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.Free.fst(133,4-134,12):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.FreeFunExt.fst#L136
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.FreeFunExt.fst(136,4-138,12):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.FreeFunExt.fst#L137
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.FreeFunExt.fst(137,4-138,12):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.Par.fst#L40
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.Par.fst(40,18-40,40):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.Par.fst#L48
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.Par.fst(48,18-48,40):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.Par.fst#L105
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.Par.fst(105,4-106,17):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.ST.fst#L26
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.ST.fst(26,2-28,10):
- 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.
|
|
Run tests, without forcing a build:
doc/book/code/Part2.ST.fst#L27
(350) * Warning 350 at /__w/FStar/FStar/doc/book/code/Part2.ST.fst(27,2-28,10):
- 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.
|
Loading