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

This should not typecheck - the inline `@eval` expression uses abilities.

``` unison
structural ability Abort where abort : x

ex = {{ @eval{abort} }}
```

``` ucm

  Loading changes detected in scratch.u.

  The expression in red needs the {Abort} ability, but this location does not have access to any abilities.
  
      3 | ex = {{ @eval{abort} }}
  

```
This file should also not typecheck - it has a triple backticks block that uses abilities.

``` ucm
scratch/main> load unison-src/transcripts/fix2238.u

  Loading changes detected in unison-src/transcripts/fix2238.u.

  The expression in red needs the {Abort} ability, but this location does not have access to any abilities.
  
      7 | abort + 1
  

```
added failing regression test 2021-07-16 18:46:13 +03:00			This should not typecheck - the inline `@eval` expression uses abilities.

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
fixes tests and transcripts 2021-08-24 21:33:27 +03:00			`structural ability Abort where abort : x`
added failing regression test 2021-07-16 18:46:13 +03:00
			`ex = {{ @eval{abort} }}`
			```

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
added failing regression test 2021-07-16 18:46:13 +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.`

Fix, transcript now passes 2021-07-16 18:57:05 +03:00			`The expression in red needs the {Abort} ability, but this location does not have access to any abilities.`
added failing regression test 2021-07-16 18:46:13 +03:00
			`3 \| ex = {{ @eval{abort} }}`


			```
			`This file should also not typecheck - it has a triple backticks block that uses abilities.`

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> load unison-src/transcripts/fix2238.u`
added failing regression test 2021-07-16 18:46:13 +03:00
Adding a message for when ucm started reloading changes 2023-12-22 14:55:24 +03:00			`Loading changes detected in unison-src/transcripts/fix2238.u.`

update the second example in the transcript to fail for the right reasons 2021-07-16 19:20:46 +03:00			`The expression in red needs the {Abort} ability, but this location does not have access to any abilities.`

			`7 \| abort + 1`
added failing regression test 2021-07-16 18:46:13 +03:00

			```