Build FStar Binaries for MacOS #198
mtzguidoAnnotations
1 error and 10 warnings
|
build
Process completed with exit code 2.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L43
Possible incorrect indentation: this token is offside of context started at position (42:27). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
|
|
build:
ulib/fs/FStar_HyperStack_ST.fs#L46
Possible incorrect indentation: this token is offside of context started at position (45:17). Try indenting this token further or using standard formatting conventions.
|