> On Dec 18, 2015, at 7:03 AM, Félix Cloutier <[email protected]> wrote:
> 
> For this reason, I don't like to encourage throwing polymorphic types, and I 
> think that it's a misconception to pretend that having a single type in the 
> throws annotation ensures that the function throws a single type. In my 
> opinion, the fact that it's currently possible but awkward to use polymorphic 
> types as errors is exactly as much support as the feature should receive.

I don’t follow this. Declaring a type that is an enum or a struct absolutely 
guarantees that the function only returns a single type. If the type is a 
class-based error, then sure, there’s not guarantee.

However, the only option today is polymorphic error types. 

-David

_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to