unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity

Update 'bug-strange-closure.md'

Browse Source
This commit is contained in:
Chris Penner 2024-07-01 22:12:00 -07:00
parent d93b5dee4f
commit fbd7bb90a6
2 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
unison-src/transcripts/bug-strange-closure.md
View File

@ -1,15 +1,15 @@
```ucm:hide
.> builtins.mergeio
.> load unison-src/transcripts-using-base/doc.md.files/syntax.u
scratch/main> builtins.mergeio lib.builtins
scratch/main> load unison-src/transcripts-using-base/doc.md.files/syntax.u
```
We can display the guide before and after adding it to the codebase:
```ucm
.> display doc.guide
.> add
.> display doc.guide
scratch/main> display doc.guide
scratch/main> add
scratch/main> display doc.guide
```
But we can't display this due to a decompilation problem.
@ -19,10 +19,10 @@ rendered = Pretty.get (docFormatConsole doc.guide)
```
```ucm
.> display rendered
.> add
.> display rendered
.> undo
scratch/main> display rendered
scratch/main> add
scratch/main> display rendered
scratch/main> undo
```
And then this sometimes generates a GHC crash "strange closure error" but doesn't seem deterministic.

14
unison-src/transcripts/bug-strange-closure.output.md
View File

@ -2,7 +2,7 @@
We can display the guide before and after adding it to the codebase:
```ucm
.> display doc.guide
scratch/main> display doc.guide
# Unison computable documentation
@ -200,7 +200,7 @@ We can display the guide before and after adding it to the codebase:
rendered table.
Some text More text Zounds!
.> add
scratch/main> add
⍟ I've added these definitions:
@ -213,7 +213,7 @@ We can display the guide before and after adding it to the codebase:
otherElements : Doc2
sqr : Nat -> Nat
.> display doc.guide
scratch/main> display doc.guide
# Unison computable documentation
@ -432,7 +432,7 @@ rendered = Pretty.get (docFormatConsole doc.guide)
```
```ucm
.> display rendered
scratch/main> display rendered
# Unison computable documentation
@ -630,13 +630,13 @@ rendered = Pretty.get (docFormatConsole doc.guide)
rendered table.
Some text More text Zounds!
.> add
scratch/main> add
⍟ I've added these definitions:
rendered : Annotated () (Either SpecialForm ConsoleText)
.> display rendered
scratch/main> display rendered
# Unison computable documentation
@ -834,7 +834,7 @@ rendered = Pretty.get (docFormatConsole doc.guide)
rendered table.
Some text More text Zounds!
.> undo
scratch/main> undo
Here are the changes I undid