Implement checked operations on Bool

[nalimilan]

This fixes the current breakage on master. Cf #15227 (comment) and #15228.

@eschnett This is a very mechanical change, do you think it's a good way to do this?

[nalimilan]

I'll fix this spacing issue (and the one below).

[nalimilan]

My first attempt did not follow the types returned by unchecked operations (e.g. true + true === 1). Here's a new version which adds separate tests.

[tkelman]

I'm going to merge this for now to fix CI. @eschnett please do review, if you have any comments we can refine going forward.

[eschnett]

Why do you need this import? It seems unused.

[tkelman]

julia/base/checked.jl

Lines 29 to 38 in 58bdac3

	checked_neg{T<:Integer}(x::T) = no_op_err("checked_neg", T)
	checked_abs{T<:Integer}(x::T) = no_op_err("checked_abs", T)
	checked_add{T<:Integer}(x::T, y::T) = no_op_err("checked_add", T)
	checked_sub{T<:Integer}(x::T, y::T) = no_op_err("checked_sub", T)
	checked_mul{T<:Integer}(x::T, y::T) = no_op_err("checked_mul", T)
	checked_div{T<:Integer}(x::T, y::T) = no_op_err("checked_div", T)
	checked_rem{T<:Integer}(x::T, y::T) = no_op_err("checked_rem", T)
	checked_fld{T<:Integer}(x::T, y::T) = no_op_err("checked_fld", T)
	checked_mod{T<:Integer}(x::T, y::T) = no_op_err("checked_mod", T)
	checked_cld{T<:Integer}(x::T, y::T) = no_op_err("checked_cld", T)

?

[nalimilan]

@eschnett BTW, I wonder why these lines do not check the actual value at the same time as the type. They are redundant with tests below, which use === and therefore check the type, right?

julia/test/checked.jl

Lines 11 to 22 in 58bdac3

	@test typeof(checked_neg(z)) === T
	@test typeof(checked_abs(z)) === T
	@test typeof(checked_add(z)) === T
	@test typeof(checked_mul(z)) === T
	@test typeof(checked_add(z,z)) === T
	@test typeof(checked_sub(z,z)) === T
	@test typeof(checked_mul(z,z)) === T
	@test typeof(checked_div(z,o)) === T
	@test typeof(checked_rem(z,o)) === T
	@test typeof(checked_fld(z,o)) === T
	@test typeof(checked_mod(z,o)) === T
	@test typeof(checked_cld(z,o)) === T

[eschnett]

Yes, the tests below check both value and type. This is probably for historic reasons, and could be cleaned up.

[nalimilan]

OK, see #15304