2 Commits

Author	SHA1	Message	Date
Sebastian Toh	d87b87d10e	Improve clarity of diagnostic message on non-exhaustive matches	2023-09-03 19:55:11 +08:00
Sebastian Toh	a293619caa	Add note that str cannot be matched exhaustively	2023-08-28 13:02:37 +08:00