unison/unison-src/transcripts/delete-silent.output.md

``` ucm
scratch/main> delete foo

  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    foo

```
``` unison
foo = 1
structural type Foo = Foo ()
```

``` ucm
scratch/main> add

  ⍟ I've added these definitions:
  
    structural type Foo
    foo : ##Nat

scratch/main> delete foo

  Done.

scratch/main> delete.type Foo

  Done.

scratch/main> delete.term Foo.Foo

  Done.

```
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 19:17:15 +03:00			``` ucm
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> delete foo`
update transcripts 2022-12-07 22:46:32 +03:00
			`⚠️`

adds better error reporting if users try to delete term which does not exist 2023-02-03 09:50:11 +03:00			`The following names were not found in the codebase. Check your spelling.`
			`foo`
update transcripts 2022-12-07 22:46:32 +03:00
			```
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 17:46:18 +03:00			``` unison
update transcripts 2022-12-07 22:46:32 +03:00			`foo = 1`
			`structural type Foo = Foo ()`
			```

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 19:17:15 +03:00			``` ucm
Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> add`
update transcripts 2022-12-07 22:46:32 +03:00
			`⍟ I've added these definitions:`

			`structural type Foo`
			`foo : ##Nat`

Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> delete foo`
update transcripts 2022-12-07 22:46:32 +03:00
			`Done.`

Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> delete.type Foo`
update transcripts 2022-12-07 22:46:32 +03:00
			`Done.`

Replace '.' references with scratch/main 2024-06-12 01:22:09 +03:00			`scratch/main> delete.term Foo.Foo`
update transcripts 2022-12-07 22:46:32 +03:00
			`Done.`

			```