This commit is contained in:
J.Teeuwissen 2023-05-28 20:09:43 +02:00
parent 6e6e1ce833
commit d988ab5378
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD

View file

@ -3019,14 +3019,18 @@ fn specialize_after_match() {
indoc!(
r#"
app "test" provides [main] to "./platform"
main =
listA : LinkedList Str
listA = Nil
listB : LinkedList Str
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