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