Update fmt tests to not use Nat

This commit is contained in:
Richard Feldman 2024-01-22 15:15:00 -05:00
parent 521cb45c99
commit 02bc54292f
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B

View file

@ -2434,7 +2434,7 @@ mod test_fmt {
r" r"
foo : foo :
Str, Str,
Nat U64
-> Bool -> Bool
foo foo
@ -2444,7 +2444,7 @@ mod test_fmt {
expr_formats_same(indoc!( expr_formats_same(indoc!(
r" r"
foo : foo :
Str, Int, Nat -> Bool Str, Int, U64 -> Bool
foo foo
" "
@ -2455,7 +2455,7 @@ mod test_fmt {
r" r"
foo : foo :
Str, Str,
Nat -> Bool U64 -> Bool
foo foo
" "
@ -2464,7 +2464,7 @@ mod test_fmt {
r" r"
foo : foo :
Str, Str,
Nat U64
-> Bool -> Bool
foo foo
@ -2478,7 +2478,7 @@ mod test_fmt {
foo : foo :
Str, Str,
Nat U64
-> Bool -> Bool
@ -2489,7 +2489,7 @@ mod test_fmt {
r" r"
foo : foo :
Str, Str,
Nat U64
-> Bool -> Bool
foo foo
@ -2502,7 +2502,7 @@ mod test_fmt {
r" r"
foo : foo :
Str, Nat -> Bool Str, U64 -> Bool
foo foo
" "
@ -2510,7 +2510,7 @@ mod test_fmt {
indoc!( indoc!(
r" r"
foo : foo :
Str, Nat -> Bool Str, U64 -> Bool
foo foo
" "
@ -5618,9 +5618,9 @@ mod test_fmt {
r" r"
Dict k v := { Dict k v := {
metadata : List I8, metadata : List I8,
dataIndices : List Nat, dataIndices : List U64,
data : List (T k v), data : List (T k v),
size : Nat, size : U64,
} where k implements Hash & Eq } where k implements Hash & Eq
a a
@ -6010,11 +6010,11 @@ mod test_fmt {
r" r"
when l1 is when l1 is
[ [
.. ..
as as
rest rest
] ]
as as
l2 l2
-> ->
f rest f rest