mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
This is for consistency with the `cmark` style. Now the blocks we still pretty-print ourselves will match the bulk of them that `cmark` produces.
1.4 KiB
1.4 KiB
File for test cases making sure that universal equality/comparison cases exist for built-in types. Just making sure they don't crash.
unique type A = A
threadEyeDeez _ =
t1 = forkComp '()
t2 = forkComp '()
(t1 == t2, t1 < t2)
Loading changes detected in scratch.u.
I found and typechecked these definitions in scratch.u. If you
do an `add` or `update`, here's how your codebase would
change:
⍟ These new definitions are ok to `add`:
type A
threadEyeDeez : ∀ _. _ ->{IO} (Boolean, Boolean)
scratch/main> add
⍟ I've added these definitions:
type A
threadEyeDeez : ∀ _. _ ->{IO} (Boolean, Boolean)
scratch/main> run threadEyeDeez
(false, true)
> typeLink A == typeLink A
> typeLink Text == typeLink Text
> typeLink Text == typeLink A
> termLink threadEyeDeez == termLink threadEyeDeez
Loading changes detected in scratch.u.
✅
scratch.u changed.
Now evaluating any watch expressions (lines starting with
`>`)... Ctrl+C cancels.
1 | > typeLink A == typeLink A
⧩
true
2 | > typeLink Text == typeLink Text
⧩
true
3 | > typeLink Text == typeLink A
⧩
false
4 | > termLink threadEyeDeez == termLink threadEyeDeez
⧩
true