Email Gateway (Apr 19 2025 at 10:29): Email Gateway (Apr 19 2025 at 10:29):From: Peter Lammich <lammich@in.tum.de>
Hi list,
I noticed that using the new \try antiquotation for a catch-all pattern
will always generate an ML-warning "Pattern 2 is redundant."
While this is not a show-stopper, these warnings are annoying (I
typically aim for as few warnings as possible in my code).
Is there a way to avoid this warning?
--
Peter
Minimal example:
ML ‹
fun error_wrapper f = \<^try>‹(f (); ()) catch exn =>
(tracing ("Raised " ^ General.exnMessage exn))›
›
Last updated: May 06 2025 at 08:28 UTC