Commit Graph

26 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
66afce3205 ⅄ trunk → 24-08-27-parser-fix 2024-08-29 14:07:17 -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
Greg Pfeil
0031542faf
Add a space before code block info strings
This is for consistency with the `cmark` style. Now the blocks we still
pretty-print ourselves will match the bulk of them that `cmark`
produces.
2024-07-10 13:56:07 -06:00
Greg Pfeil
1dc181b99a
Update the transcripts with cmark
`cmark`’s pretty-printer matches our output pretty well, with a few differences:
- it puts a space between the fence and the info string for in code blocks;
- it prefers `-` over `*` for bulleted lists (as do I) and it indents them;
- it `\`-escapes certain chars very conservatively;
- it prefers indented/unfenced code blocks if there is no info string; and
- it prefers `*` over `_` (unlike any sane person).

This also shows how the change fixes a number of issues:
- fix2158-1.output.md also illustrates how this change fixes #1809;
- alias-many.output.md and input-parse-errors.output.md show how fenced
  code blocks without an info string would use the beginning of the
  content as the info string;
- transcripts-round-trip/main.output.md shows how output blocks for
  generated `unison` stanzas (which could contain nested fenced blocks)
  might not have long-enough fences; and
- error-messages.output.md and generic-parse-errors.output.md show how
  Unison errors were reported on the wrong line number (and thus the
  printed error lines were also incorrect).
2024-07-10 13:37:51 -06:00
Chris Penner
5ca1eb3b8d Replace '.' references with scratch/main 2024-06-25 11:11:07 -07:00
andrii
4456c95c7a Fixing test for type modifiers, updating trnscripts 2024-01-04 09:42:12 +01:00
andrii
8b857b152c Adding a message for when ucm started reloading changes 2023-12-22 12:55:24 +01:00
Paul Chiusano
7509e3efa1 refresh transcripts 2023-07-21 02:12:22 -04: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
b9b4dd88d0
Fix #3861 2023-03-13 14:17:04 -04:00
Travis Staton
9b4b580628
add failing test demonstrating #3861 2023-03-13 14:14:32 -04:00
Travis Staton
0c9949b525
Gather all type dependencies for pattern coverage checking 2023-03-08 12:53:05 -05:00
Travis Staton
cc8eeff414
add data decl test 2023-03-08 12:53:02 -05:00
Travis Staton
491366ece0
bugfix: ensure unconstrained sets are inhabited 2023-03-08 12:44:35 -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
2833779f58
update pattern-match-coverage transcript 2023-02-27 11:44:24 -05:00
Travis Staton
9e3dbb62b8
Add pattern match coverage checking 2023-02-27 11:02:59 -05:00