hlc.gc

Bootcheck terminated with exit status 1 (log)

FAILED TEST invalid/abstract_eqv in grade hlc.gc
abstract_eqv.m:019:   type error: argument has type `abstract_eqv2.bar',
FAILED TEST invalid/int_impl_imports in grade hlc.gc
int_impl_imports.m:014:   error: undefined type `bar'/0.
FAILED TEST invalid/require_tailrec_1-nodepend in grade hlc.gc
 require_tailrec_1.m:050:   warning: self-recursive call is not tail recursive.
 require_tailrec_1.m:057:   warning: self-recursive call is not tail recursive.
-require_tailrec_1.m:065:   warning: mutually recursive call to function
+require_tailrec_1.m:069:   warning: the code defining this function contains no
+require_tailrec_1.m:074:   warning: self-recursive call is not tail recursive.
 require_tailrec_1.m:085:   warning: self-recursive call is not tail recursive.
FAILED TEST invalid/require_tailrec_2-nodepend in grade hlc.gc
 require_tailrec_2.m:049:   warning: self-recursive call is not tail recursive.
 require_tailrec_2.m:056:   warning: self-recursive call is not tail recursive.
-require_tailrec_2.m:064:   warning: mutually recursive call to function
+require_tailrec_2.m:068:   warning: the code defining this function contains no
+require_tailrec_2.m:073:   warning: self-recursive call is not tail recursive.
 require_tailrec_2.m:084:   warning: self-recursive call is not tail recursive.
FAILED TEST invalid/require_tailrec_3-nodepend in grade hlc.gc
-require_tailrec_3.m:038:   warning: mutually recursive call to function
-require_tailrec_3.m:053:   error: mutually recursive call to function `odd2'/1
-require_tailrec_3.m:068:   warning: mutually recursive call to function
+require_tailrec_3.m:044:   warning: self-recursive call is not tail recursive.
+require_tailrec_3.m:059:   error: self-recursive call is not tail recursive.
+require_tailrec_3.m:074:   warning: self-recursive call is not tail recursive.
FAILED TEST invalid/test_feature_set-nodepend in grade hlc.gc
FAILED TEST submodules/ts in grade hlc.gc
FAILED TEST warnings/bug412 in grade hlc.gc
bug412.m:014:   warning: module `bitmap' has a `:- import_module' declaration,
bug412.m:015:   warning: module `bit_buffer' has a `:- import_module'
bug412.m:016:   warning: module `bool' has a `:- import_module' declaration,
bug412.m:018:   warning: module `char' has a `:- import_module' declaration,
bug412.m:019:   warning: module `diet' has a `:- import_module' declaration,
bug412.m:020:   warning: module `digraph' has a `:- import_module' declaration,
bug412.m:021:   warning: module `enum' has a `:- import_module' declaration,
bug412.m:023:   warning: module `ops' has a `:- import_module' declaration, but
bug412.m:024:   warning: module `pprint' has a `:- import_module' declaration,
bug412.m:025:   warning: module `rtree' has a `:- import_module' declaration,
bug412.m:026:   warning: module `store' has a `:- import_module' declaration,
bug412.m:027:   warning: module `stream' has a `:- import_module' declaration,
bug412.m:028:   warning: module `string' has a `:- import_module' declaration,
bug412.m:029:   warning: module `string.builder' has a `:- import_module'
bug412.m:031:   warning: module `term' has a `:- import_module' declaration,
bug412.m:032:   warning: module `univ' has a `:- import_module' declaration,
 bug412.m:021:   warning: module `enum' has a `:- import_module' declaration,
-bug412.m:022:   warning: module `io' has a `:- import_module' declaration, but
 bug412.m:023:   warning: module `ops' has a `:- import_module' declaration, but
ERROR EXIT: some tests failed

Duration: 3.64 hours