Remove a nat suffix

This commit is contained in:
Richard Feldman 2024-01-28 15:16:41 -05:00
parent d84de324d8
commit b21e75e359
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -32,7 +32,7 @@ fn multi_branch_capturing() {
f = \t, s ->
if t
then \{} -> 15nat
then \{} -> 15u64
else \{} -> Str.countUtf8Bytes s
main = ((f Bool.true "abc") {}, (f Bool.false "abc") {})