Check world (test F* + all subprojects) #79
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build:
steel/lib/steel/Steel.Effect.Common.fsti#L463
(340) * Warning 340 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(463,24-463,37):
- Unfolding name which is marked as a plugin: frame_vc_norm
|
|
Build:
FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti#L448
(288) * Warning 288 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(802,9-802,20):
- FStar.Stubs.Tactics.V2.Builtins.term_eq_old is deprecated
- Use Reflection.term_eq instead
- See also /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti(448,0-448,42)
|
|
Build:
FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti#L448
(288) * Warning 288 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(1612,18-1612,29):
- FStar.Stubs.Tactics.V2.Builtins.term_eq_old is deprecated
- Use Reflection.term_eq instead
- See also /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti(448,0-448,42)
|
|
Build:
FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti#L448
(288) * Warning 288 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(1632,7-1632,18):
- FStar.Stubs.Tactics.V2.Builtins.term_eq_old is deprecated
- Use Reflection.term_eq instead
- See also /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti(448,0-448,42)
|
|
Build:
FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti#L448
(288) * Warning 288 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(1638,7-1638,18):
- FStar.Stubs.Tactics.V2.Builtins.term_eq_old is deprecated
- Use Reflection.term_eq instead
- See also /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti(448,0-448,42)
|
|
Build:
steel/lib/steel/Steel.Effect.Common.fsti#L2068
(337) * Warning 337 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(2068,65-2068,66):
- 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:
FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti#L448
(288) * Warning 288 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(2204,11-2204,22):
- FStar.Stubs.Tactics.V2.Builtins.term_eq_old is deprecated
- Use Reflection.term_eq instead
- See also /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti(448,0-448,42)
|
|
Build:
FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti#L448
(288) * Warning 288 at /__w/FStar/FStar/steel/lib/steel/Steel.Effect.Common.fsti(2782,10-2782,21):
- FStar.Stubs.Tactics.V2.Builtins.term_eq_old is deprecated
- Use Reflection.term_eq instead
- See also /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Tactics.V2.Builtins.fsti(448,0-448,42)
|
|
Build:
steel/lib/steel/Steel.ST.Effect.fsti#L170
(352) * Warning 352 at /__w/FStar/FStar/steel/lib/steel/Steel.ST.Effect.fsti(170,16-170,20):
- Combinator (Steel.ST.Effect.STBase , Steel.ST.Effect.STBase) |>
Steel.ST.Effect.STBase is not a substitutive indexed effect combinator, it
is better to make it one if possible for better performance and ease of use
|
|
Build:
steel/lib/steel/Steel.ST.Effect.fsti#L171
(352) * Warning 352 at /__w/FStar/FStar/steel/lib/steel/Steel.ST.Effect.fsti(171,19-171,26):
- Combinator Steel.ST.Effect.STBase <: Steel.ST.Effect.STBase is not a
substitutive indexed effect combinator, it is better to make it one if
possible for better performance and ease of use
|
Loading