New syntax suggestion: catch with type specs

This latter form would essentially replicate Match.jl or Rematch.jl behavior:

try
    ...
catch e
    @match e begin
        e::AssertionError => println("AssertionError")
        e::InexactError => println("InexactError")
    end
end

So I guess it would be superfluous in this form.

1 Like