Check world (test F* + all subprojects) #338
Annotations
10 warnings
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.Pervasives to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.Pervasives.fsti.checked
instead of cache/Model/FStar.Pervasives.fsti.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.NormSteps to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.NormSteps.fst.checked
instead of cache/Model/FStar.NormSteps.fst.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.NormSteps to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.NormSteps.fsti.checked
instead of cache/Model/FStar.NormSteps.fsti.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.Attributes to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.Attributes.fsti.checked
instead of cache/Model/FStar.Attributes.fsti.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.Prelude to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.Prelude.fsti.checked
instead of cache/Model/FStar.Prelude.fsti.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.Mul to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.Mul.fst.checked
instead of cache/Model/FStar.Mul.fst.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module Prims to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/Prims.fst.checked
instead of cache/Model/Prims.fst.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module FStar.UInt32 to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/FStar.UInt32.fsti.checked
instead of cache/Model/FStar.UInt32.fsti.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module LowStar.Buffer to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/LowStar.Buffer.fst.checked
instead of cache/Model/LowStar.Buffer.fst.checked
|
|
Build:
dummy#L0
(321) * Warning 321:
- Did not expect module LowStar.Modifies to be already checked.
- Found it in an unexpected location:
/__w/FStar/FStar/fstar/lib/fstar/ulib.checked/LowStar.Modifies.fst.checked
instead of cache/Model/LowStar.Modifies.fst.checked
|
Loading