unison/unison-src/transcripts/fix3634.md

21 lines
195 B
Markdown
Raw Permalink Normal View History

2022-11-23 00:00:54 +03:00
```ucm:hide
scratch/main> builtins.mergeio
2022-11-23 00:00:54 +03:00
```
```unison
structural type M a = N | J a
d = {{
{{ docExample 0 '(x -> J x) }}
{J}
}}
```
```ucm
scratch/main> add
scratch/main> display d
2022-11-23 00:00:54 +03:00
```