WIP using core, for phase2 #1015
Annotations
10 warnings
|
FStar.FiniteMap.Base.fst#L90
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteMap.Base.fst:90.5-90.10:
- Parameter 0 of items is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteMap.Base.fst#L83
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteMap.Base.fst:83.5-83.11:
- Parameter 0 of values is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteSet.Base.fst#L151
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteSet.Base.fst:151.5-151.13:
- Parameter 0 of disjoint is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteSet.Base.fst#L144
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteSet.Base.fst:144.5-144.10:
- Parameter 0 of equal is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteSet.Base.fst#L137
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteSet.Base.fst:137.5-137.11:
- Parameter 0 of subset is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteSet.Base.fst#L151
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteSet.Base.fst:151.5-151.13:
- Parameter 0 of disjoint is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteSet.Base.fst#L144
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteSet.Base.fst:144.5-144.10:
- Parameter 0 of equal is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.FiniteSet.Base.fst#L137
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.FiniteSet.Base.fst:137.5-137.11:
- Parameter 0 of subset is unused and must be eliminated for F#; add `[@@
remove_unused_type_parameters [0; ...]]` to the interface signature.
- This type definition is being dropped
|
|
FStar.Pervasives.fsti#L55
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.Monotonic.Witnessed.fsti:34.5-34.34:
- Expected parameter 'state of witnessed to be unused in its definition and eliminated
- See also /__w/FStar/FStar/FStar/ulib/FStar.Pervasives.fsti:55.1-55.57
|
|
FStar.Pervasives.fsti#L645
(345) * Warning 345 at /__w/FStar/FStar/FStar/ulib/FStar.Pervasives.fsti:645.67-645.68:
- Inserted an unsafe type coercion in generated code from unit -> 'a -> 'a to
unit -> 'a -> 'b.
- This may be unsound in F#.
- See also /__w/FStar/FStar/FStar/ulib/FStar.Pervasives.fsti:645.56-645.57
|
The logs for this run have expired and are no longer available.
Loading