unison/unison-src/transcripts/fix4172.md

32 lines
408 B
Markdown
Raw Permalink Normal View History

2023-07-11 06:29:00 +03:00
```ucm:hide
scratch/main> builtins.merge
2023-07-11 06:29:00 +03:00
```
```unison
debug a = match Debug.toText a with
None -> ""
Some (Left a) -> a
Some (Right a) -> a
test> t1 = if bool then [Ok "Yay"]
else [Fail (debug [1,2,3])]
bool = true
allowDebug = debug [1,2,3]
```
```ucm
scratch/main> add
scratch/main> test
2023-07-11 06:29:00 +03:00
```
```unison
bool = false
```
```ucm:error
scratch/main> update.old
scratch/main> test
2023-07-11 06:29:00 +03:00
```