Update List.replace to no longer use Nat

This commit is contained in:
Richard Feldman 2024-01-22 23:37:39 -05:00
parent a8918a4e3b
commit 5b2998966b
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 9 additions and 7 deletions

View file

@ -322,7 +322,7 @@ pub(crate) fn list_drop_at<'a, 'ctx>(
)
}
/// List.replace_unsafe : List elem, Nat, elem -> { list: List elem, value: elem }
/// List.replace_unsafe : List elem, U64, elem -> { list: List elem, value: elem }
pub(crate) fn list_replace_unsafe<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,