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 |
|