language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Turn set test back on

Browse source
This commit is contained in:
Ayaz Hafiz 2023-05-24 14:13:40 -05:00
parent 9f45c2ff47
commit d5f8af8021
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 18 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

37
crates/compiler/builtins/roc/Set.roc
View file

@ -357,26 +357,25 @@ expect
x == fromList (toList x)
# TODO: This test that puts a Set in a Set fails to unify.
# expect
# orderOne : Set Nat
# orderOne =
# single 1
# |> insert 2
expect
orderOne : Set Nat
orderOne =
single 1
|> insert 2
# orderTwo : Set Nat
# orderTwo =
# single 2
# |> insert 1
orderTwo : Set Nat
orderTwo =
single 2
|> insert 1
# wrapperOne : Set (Set Nat)
# wrapperOne =
# single orderOne
# |> insert orderTwo
wrapperOne : Set (Set Nat)
wrapperOne =
single orderOne
|> insert orderTwo
# wrapperTwo : Set (Set Nat)
# wrapperTwo =
# single orderTwo
# |> insert orderOne
wrapperTwo : Set (Set Nat)
wrapperTwo =
single orderTwo
|> insert orderOne
# wrapperOne == wrapperTwo
wrapperOne == wrapperTwo