unison/unison-src/transcripts/universal-cmp.md

29 lines
513 B
Markdown
Raw Permalink Normal View History

File for test cases making sure that universal equality/comparison
cases exist for built-in types. Just making sure they don't crash.
```ucm:hide
scratch/main> builtins.merge
```
```unison
unique type A = A
threadEyeDeez _ =
t1 = forkComp '()
t2 = forkComp '()
2022-12-02 08:51:11 +03:00
(t1 == t2, t1 < t2)
```
```ucm
scratch/main> add
scratch/main> run threadEyeDeez
```
```unison
> typeLink A == typeLink A
> typeLink Text == typeLink Text
> typeLink Text == typeLink A
> termLink threadEyeDeez == termLink threadEyeDeez
```