unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 05:20:46 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/universal-cmp.md
Chris Penner 5ca1eb3b8d Replace '.' references with scratch/main
2024-06-25 11:11:07 -07:00

513 B
Raw Permalink Blame History

File for test cases making sure that universal equality/comparison cases exist for built-in types. Just making sure they don't crash.

scratch/main> builtins.merge

unique type A = A

threadEyeDeez _ =
  t1 = forkComp '()
  t2 = forkComp '()
  (t1 == t2, t1 < t2)

scratch/main> add
scratch/main> run threadEyeDeez

> typeLink A == typeLink A
> typeLink Text == typeLink Text
> typeLink Text == typeLink A
> termLink threadEyeDeez == termLink threadEyeDeez