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

``` ucm
scratch/main> display List.map

  f a ->
    let
      use Nat +
      go i as acc = match List.at i as with
        None   -> acc
        Some a -> go (i + 1) as (acc :+ f a)
      go 0 a []

```
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> display List.map`
fix #2053 by using Var.rawName to produce text for synthetic vars 2021-06-19 20:40:02 +03:00
Use original term for decompiling a top-level PAp The new top-level floating seemed like it could cause some uninformative decompilations if the result of floating was stored. Previously it would have been a letrec, but now it is just the body of said letrec, and the bound definitions have been given their own references, with no obvious way to inspect them. So, just using the original term seems like a better idea. Any top-level signature is stripped off, to be slightly less verbose. 2022-08-05 00:15:12 +03:00			`f a ->`
Fix roundtrip error with block lambdas 2023-03-04 05:03:40 +03:00			`let`
refresh transcripts 2023-07-21 09:12:22 +03:00			`use Nat +`
			`go i as acc = match List.at i as with`
			`None -> acc`
			`Some a -> go (i + 1) as (acc :+ f a)`
Fix roundtrip error with block lambdas 2023-03-04 05:03:40 +03:00			`go 0 a []`
fix #2053 by using Var.rawName to produce text for synthetic vars 2021-06-19 20:40:02 +03:00
			```