language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Make sure ability defs that are possibly recursive are marked as such

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-25 10:52:55 -04:00
parent 0525c6d616
commit 75ce40c67d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 18 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/solve/tests/solve_expr.rs
View file

@ -6792,6 +6792,8 @@ mod solve_expr {
Diverge has diverge : a -> a | a has Diverge
A := {} has [Diverge {diverge}]
diverge : A -> A
diverge = \@A {} -> diverge (@A {})
#^^^^^^^{-1} ^^^^^^^
@ -6805,7 +6807,7 @@ mod solve_expr {
),
@r###"
A#diverge(4) : A -[[diverge(4)]]-> A
Diverge#diverge(2) : A -[[diverge(4)]]-> A
A#diverge(4) : A -[[diverge(4)]]-> A
A#diverge(4) : A -[[diverge(4)]]-> A
"###
)
@ -6824,9 +6826,11 @@ mod solve_expr {
A := {} has [Bounce {ping, pong}]
ping : A -> A
ping = \@A {} -> pong (@A {})
#^^^^{-1} ^^^^
pong : A -> A
pong = \@A {} -> ping (@A {})
#^^^^{-1} ^^^^
@ -6840,7 +6844,7 @@ mod solve_expr {
),
@r###"
A#ping(5) : A -[[ping(5)]]-> A
Bounce#pong(3) : A -[[pong(6)]]-> A
A#pong(6) : A -[[pong(6)]]-> A
A#pong(6) : A -[[pong(6)]]-> A
A#ping(5) : A -[[ping(5)]]-> A
A#ping(5) : A -[[ping(5)]]-> A