vaskir
09/27/2018, 12:16 PMcatch (e: MyException if e.foo = 25) { .. }
??robin
09/27/2018, 12:20 PMcatch (e: MyException) {
if (e.foo == 25) {
...
}
}
works fine.vaskir
09/27/2018, 12:20 PMrobin
09/27/2018, 12:20 PMvaskir
09/27/2018, 12:23 PMtry {
// ...
} catch (e: MyException) {
if (e.code == 25) {
// do specific stuff
} else {
// do common stuff
}
} catch (e: Exception) {
// do common stuff
}
try
...
with
| :? Exn1 as e when e.bar = 23 -> ...
| FooException(25) -> ...
| _ -> ...
robin
09/27/2018, 12:27 PMException
though, you can do this instead:
try {
// ...
} catch (e: Exception) {
if (e is MyException && e.code == 25) {
// do specific stuff
} else {
// do common stuff
}
}
vaskir
09/27/2018, 12:28 PMrobin
09/27/2018, 12:30 PMwhen
statement instead if you have more cases to check.