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

Fix mono tests

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-18 22:14:47 -04:00
parent f3105eca6e
commit c189f27fb0
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/test_mono/src/tests.rs
View file

@ -1317,7 +1317,7 @@ fn specialize_ability_call() {
Hash has
hash : a -> U64 | a has Hash
Id := U64
Id := U64 has [Hash {hash}]
hash : Id -> U64
hash = \@Id n -> n
@ -1359,14 +1359,12 @@ fn encode() {
u8 : U8 -> Encoder fmt | fmt has Format
Linear := {}
Linear := {} has [Format {u8}]
# impl Format for Linear
u8 = \n -> @Encoder (\lst, @Linear {} -> List.append lst n)
MyU8 := U8
MyU8 := U8 has [Encoding {toEncoder}]
# impl Encoding for MyU8
toEncoder = \@MyU8 n -> u8 n
myU8Bytes =