Check world (test F* + all subprojects) #315
Annotations
10 warnings
|
Test:
SteelT.Effect.fst#L51
(330) * Warning 330 at SteelT.Effect.fst(51,44-51,59):
- Polymonadic binds ((SteelT, PURE) |> SteelT) in this case) is an
experimental feature;it is subject to some redesign in the future. Please
keep us informed (on github etc.) about how you are using it
|
|
Test:
dummy#L0
(352) * Warning 352 at SteelT.Effect.fst(51,0-51,59):
- Combinator (SteelT.Effect.SteelT , Prims.PURE) |> SteelT.Effect.SteelT is
not a substitutive indexed effect combinator, it is better to make it one if
possible for better performance and ease of use
|
|
Test:
SteelT.Effect.fst#L51
(330) * Warning 330 at SteelT.Effect.fst(51,44-51,59):
- Polymonadic binds ((SteelT, PURE) |> SteelT) in this case) is an
experimental feature;it is subject to some redesign in the future. Please
keep us informed (on github etc.) about how you are using it
|
|
Test:
dummy#L0
(352) * Warning 352 at SteelT.Effect.fst(51,0-51,59):
- Combinator (SteelT.Effect.SteelT , Prims.PURE) |> SteelT.Effect.SteelT is
not a substitutive indexed effect combinator, it is better to make it one if
possible for better performance and ease of use
|
|
Test:
SteelT.Effect.fst#L41
(330) * Warning 330 at SteelT.Effect.fst(41,44-41,59):
- Polymonadic binds ((PURE, SteelT) |> SteelT) in this case) is an
experimental feature;it is subject to some redesign in the future. Please
keep us informed (on github etc.) about how you are using it
|
|
Test:
SteelT.Effect.fst#L41
(330) * Warning 330 at SteelT.Effect.fst(41,44-41,59):
- Polymonadic binds ((PURE, SteelT) |> SteelT) in this case) is an
experimental feature;it is subject to some redesign in the future. Please
keep us informed (on github etc.) about how you are using it
|
|
Test:
SteelT.Effect.fst#L31
(352) * Warning 352 at SteelT.Effect.fst(31,9-31,13):
- Combinator (SteelT.Effect.SteelT , SteelT.Effect.SteelT) |>
SteelT.Effect.SteelT is not a substitutive indexed effect combinator, it is
better to make it one if possible for better performance and ease of use
|
|
Test:
SteelT.Effect.fst#L31
(352) * Warning 352 at SteelT.Effect.fst(31,9-31,13):
- Combinator (SteelT.Effect.SteelT , SteelT.Effect.SteelT) |>
SteelT.Effect.SteelT is not a substitutive indexed effect combinator, it is
better to make it one if possible for better performance and ease of use
|
|
Test:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'duplex.' shadows module 'pingpong' in file
"PingPong.fst".
- Rename "PingPong.fst" to avoid conflicts.
|
|
Test:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'cqueue.' shadows module 'llist' in file
"LList.fst".
- Rename "LList.fst" to avoid conflicts.
|
Loading