language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 13:59:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

fixed specialisation box

Browse source
This commit is contained in:
J.Teeuwissen 2023-05-28 21:18:28 +02:00
parent ffc19ec2a2
commit 8f022d4310
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
2 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -3028,9 +3028,9 @@ fn specialize_after_match() {
listB = Nil
longestLinkedList listA listB
LinkedList a : [Cons a (LinkedList a), Nil]
longestLinkedList : LinkedList a, LinkedList a -> Nat
longestLinkedList = \listA, listB -> when listA is
Nil -> linkedListLength listB