2021-05-12 21:46:45 +03:00
|
|
|
|
|
|
|
```ucm:hide
|
2024-07-02 08:12:00 +03:00
|
|
|
scratch/main> builtins.mergeio lib.builtins
|
|
|
|
scratch/main> load unison-src/transcripts-using-base/doc.md.files/syntax.u
|
2021-05-12 21:46:45 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
We can display the guide before and after adding it to the codebase:
|
|
|
|
|
|
|
|
```ucm
|
2024-07-02 08:12:00 +03:00
|
|
|
scratch/main> display doc.guide
|
|
|
|
scratch/main> add
|
|
|
|
scratch/main> display doc.guide
|
2021-05-12 21:46:45 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
But we can't display this due to a decompilation problem.
|
|
|
|
|
|
|
|
```unison
|
|
|
|
rendered = Pretty.get (docFormatConsole doc.guide)
|
|
|
|
```
|
|
|
|
|
|
|
|
```ucm
|
2024-07-02 08:12:00 +03:00
|
|
|
scratch/main> display rendered
|
|
|
|
scratch/main> add
|
|
|
|
scratch/main> display rendered
|
|
|
|
scratch/main> undo
|
2021-05-12 21:46:45 +03:00
|
|
|
```
|
|
|
|
|
|
|
|
And then this sometimes generates a GHC crash "strange closure error" but doesn't seem deterministic.
|
|
|
|
|
|
|
|
```unison
|
|
|
|
rendered = Pretty.get (docFormatConsole doc.guide)
|
|
|
|
|
|
|
|
> rendered
|
|
|
|
```
|