commit 751f8410f1a7572ba05ba6b66d5d6a3cc2100ca4 parent 3f5cb8b98cf6567e7701fd4ada7b3655cab43e29 Author: Sebastian <sebastian@sebsite.pw> Date: Thu, 11 May 2023 22:01:32 -0400 getopt: make switch in README exhaustive Diffstat:
| M | getopt/README | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/getopt/README b/getopt/README @@ -38,6 +38,7 @@ flags, then all parameters, alpha-sorted within each group by the flag rune. script = opt.1; case 'f' => file = opt.1; + case => abort(); // unreachable }; };