unison/unison-src/transcripts/fix1696.output.md

``` unison
structural ability Ask where ask : Nat

ability Zoot where
  zoot : Nat

Ask.provide : '{Zoot} Nat -> '{Ask} r -> r
Ask.provide answer asker =
  h = cases
    {r}                 -> r
    {Ask.ask -> resume} -> handle resume !answer with h
  handle !asker with h

dialog = Ask.provide 'zoot '("Awesome number: " ++ Nat.toText Ask.ask ++ "!")

> dialog
```

``` ucm

  Loading changes detected in scratch.u.

  The expression in red needs the {Zoot} ability, but this location does not have access to any abilities.
  
     13 | dialog = Ask.provide 'zoot '("Awesome number: " ++ Nat.toText Ask.ask ++ "!")
  

```
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
fix fix1696 and fix2297 transcripts these had broken in the past when we made the modifier mandatory and nobody noticed until now 2024-01-06 03:58:47 +03:00			`structural ability Ask where ask : Nat`
Adding a test case that fails in the wrong way 2020-11-11 20:33:46 +03:00
fix fix1696 and fix2297 transcripts these had broken in the past when we made the modifier mandatory and nobody noticed until now 2024-01-06 03:58:47 +03:00			`ability Zoot where`
Adding a test case that fails in the wrong way 2020-11-11 20:33:46 +03:00			`zoot : Nat`

			`Ask.provide : '{Zoot} Nat -> '{Ask} r -> r`
			`Ask.provide answer asker =`
			`h = cases`
			`{r} -> r`
			`{Ask.ask -> resume} -> handle resume !answer with h`
			`handle !asker with h`

			`dialog = Ask.provide 'zoot '("Awesome number: " ++ Nat.toText Ask.ask ++ "!")`

			`> dialog`
			```

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
Adding a test case that fails in the wrong way 2020-11-11 20:33:46 +03:00
Adding a message for when ucm started reloading changes 2023-12-22 14:55:24 +03:00			`Loading changes detected in scratch.u.`

Fixing test for type modifiers, updating trnscripts 2024-01-04 11:42:12 +03:00			`The expression in red needs the {Zoot} ability, but this location does not have access to any abilities.`
Adding a test case that fails in the wrong way 2020-11-11 20:33:46 +03:00
Fixing test for type modifiers, updating trnscripts 2024-01-04 11:42:12 +03:00			`13 \| dialog = Ask.provide 'zoot '("Awesome number: " ++ Nat.toText Ask.ask ++ "!")`
Adding a test case that fails in the wrong way 2020-11-11 20:33:46 +03:00

			```