Update List.dropAt to no longer use Nat

This commit is contained in:
Richard Feldman 2024-01-22 23:37:27 -05:00
parent 4a870c8ee0
commit a8918a4e3b
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
4 changed files with 17 additions and 12 deletions

View file

@ -299,7 +299,7 @@ pub(crate) fn list_sublist<'a, 'ctx>(
)
}
/// List.dropAt : List elem, Nat -> List elem
/// List.dropAt : List elem, U64 -> List elem
pub(crate) fn list_drop_at<'a, 'ctx>(
env: &Env<'a, 'ctx, '_>,
layout_interner: &STLayoutInterner<'a>,