17 Commits

Author	SHA1	Message	Date
Mitchell Rosen	64a0ce0b2c	restore pattern match coverage test that accidentally wasn't testing the right thing before	2024-08-29 14:12:25 -04:00
Mitchell Rosen	24a6c9b3ea	clean some code up and fix pattern-match-coverage.md	2024-08-27 19:29:29 -04:00
Mitchell Rosen	bbb04d9da2	get the transcripts passing (but a couple are still broken)	2024-08-26 13:37:19 -04:00
Chris Penner	5ca1eb3b8d	Replace '.' references with scratch/main	2024-06-25 11:11:07 -07:00
Mitchell Rosen	86cff07122	regenerate a couple transcripts that use unique types	2023-07-19 13:45:05 -04:00
Travis Staton	c2f844283e	add multihandler example	2023-04-18 09:17:34 -04:00
Travis Staton	642991e445	uninhabited return example	2023-04-14 16:50:14 -04:00
Travis Staton	4eb08d371e	Relax inhabitation check for ability handler	2023-04-14 16:22:00 -04:00
Travis Staton	5c8e485d23	add some redundant case examples	2023-04-13 21:27:31 -04:00
Travis Staton	87ba8d8f89	Add pattern match coverage checking for ability handlers	2023-04-13 20:57:45 -04:00
Travis Staton	9b4b580628	add failing test demonstrating #3861	2023-03-13 14:14:32 -04:00
Travis Staton	cc8eeff414	add data decl test	2023-03-08 12:53:02 -05:00
Travis Staton	2bc28073d3	add basic uninhabited check	2023-03-08 12:41:49 -05:00
Travis Staton	bda4ea5382	expand pattern match coverage transcript	2023-03-02 11:23:50 -05:00
Travis Staton	7314d09623	error message tweaks	2023-03-01 15:28:16 -05:00
Travis Staton	74cd76b49f	typos and transcript edit	2023-02-27 16:39:00 -05:00
Travis Staton	9e3dbb62b8	Add pattern match coverage checking	2023-02-27 11:02:59 -05:00