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/bug214-nodepend in grade hlc.gc bug214.m:043: type error: unsatisfied typeclass constraint: FAILED TEST invalid/bug521 in grade hlc.gc bug521_sub.m:014: error: undefined type `list'/1. 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_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_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_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.01 hours