Check world (test F* + all subprojects) #192
Annotations
10 warnings
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"/__w/FStar/FStar/starmalloc/src/Prelude.fst".
- Rename "/__w/FStar/FStar/starmalloc/src/Prelude.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"/__w/FStar/FStar/starmalloc/src/Prelude.fst".
- Rename "/__w/FStar/FStar/starmalloc/src/Prelude.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(361) * Warning 361 at ./lib_misc/MiscArith.fst(253,0-275,16):
- Some #push-options have not been popped. Current depth is 2.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"/__w/FStar/FStar/starmalloc/src/Prelude.fst".
- Rename "/__w/FStar/FStar/starmalloc/src/Prelude.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"src/Prelude.fst".
- Rename "src/Prelude.fst" to avoid conflicts.
|
|
Build:
Prelude.fst#L8
(272) * Warning 272 at ./src/Prelude.fst(8,0-8,48):
- Top-level let-bindings must be total; this term may have effects
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"/__w/FStar/FStar/starmalloc/src/Prelude.fst".
- Rename "/__w/FStar/FStar/starmalloc/src/Prelude.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"/__w/FStar/FStar/starmalloc/src/Prelude.fst".
- Rename "/__w/FStar/FStar/starmalloc/src/Prelude.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"/__w/FStar/FStar/starmalloc/src/Prelude.fst".
- Rename "/__w/FStar/FStar/starmalloc/src/Prelude.fst" to avoid conflicts.
|
|
Build:
dummy#L0
(274) * Warning 274:
- Implicitly opening namespace 'fstar.' shadows module 'prelude' in file
"./src/Prelude.fst".
- Rename "./src/Prelude.fst" to avoid conflicts.
|
Loading