require_tailrec_invalid.m:019: Error: `:- pragma require_tail_recursion' require_tailrec_invalid.m:019: declarations are not allowed in module require_tailrec_invalid.m:019: interfaces. require_tailrec_invalid.m:034: Error: conflicting require_tailrec_invalid.m:034: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:034: `error' conflicts with earlier attribute require_tailrec_invalid.m:034: `warn'. require_tailrec_invalid.m:037: Error: conflicting require_tailrec_invalid.m:037: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:037: `none' conflicts with earlier attribute require_tailrec_invalid.m:037: `warn'. require_tailrec_invalid.m:040: Error: conflicting require_tailrec_invalid.m:040: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:040: `none' conflicts with earlier attribute require_tailrec_invalid.m:040: `error'. require_tailrec_invalid.m:044: Error: conflicting require_tailrec_invalid.m:044: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:044: `self_recursion_only' conflicts with earlier require_tailrec_invalid.m:044: attribute `self_or_mutual_recursion'. require_tailrec_invalid.m:047: Error: conflicting require_tailrec_invalid.m:047: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:047: `none' conflicts with earlier attribute require_tailrec_invalid.m:047: `self_or_mutual_recursion'. require_tailrec_invalid.m:051: Error: conflicting require_tailrec_invalid.m:051: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:051: `none' conflicts with earlier attribute require_tailrec_invalid.m:051: `self_recursion_only'. require_tailrec_invalid.m:055: Error: expected a require_tailrec_invalid.m:055: `:- pragma require_tail_recursion' attribute, require_tailrec_invalid.m:055: got `blahblahblah'. require_tailrec_invalid.m:061: In the second argument of require_tailrec_invalid.m:061: `:- pragma require_tail_recursion' require_tailrec_invalid.m:061: declaration: require_tailrec_invalid.m:061: error: expected list of attributes, got require_tailrec_invalid.m:061: `Woop'. require_tailrec_invalid.m:064: In the second argument of require_tailrec_invalid.m:064: `:- pragma require_tail_recursion' require_tailrec_invalid.m:064: declaration: require_tailrec_invalid.m:064: error: expected list of attributes, got `23'. require_tailrec_invalid.m:071: Error: conflicting require_tailrec_invalid.m:071: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:071: `none' conflicts with earlier attribute require_tailrec_invalid.m:071: `self_recursion_only'. require_tailrec_invalid.m:071: Error: conflicting require_tailrec_invalid.m:071: `:- pragma require_tail_recursion' attributes: require_tailrec_invalid.m:071: `none' conflicts with earlier attribute require_tailrec_invalid.m:071: `warn'. require_tailrec_invalid.m:072: Error: expected a require_tailrec_invalid.m:072: `:- pragma require_tail_recursion' attribute, require_tailrec_invalid.m:072: got `grasshopper'.