Weaken lists

This commit is contained in:
Ayaz Hafiz 2023-01-11 16:50:31 -06:00
parent caa3a6c6a8
commit b2cdddbdfb
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
7 changed files with 80 additions and 38 deletions

View file

@ -1231,12 +1231,12 @@ fn monomorphized_list() {
app "test" provides [main] to "./platform"
main =
l = [1, 2, 3]
l = \{} -> [1, 2, 3]
f : List U8, List U16 -> Nat
f = \_, _ -> 18
f l l
f (l {}) (l {})
"#
)
}