Fix some comments

This commit is contained in:
Richard Feldman 2022-07-13 11:58:48 -04:00
parent 55ca75a37f
commit af14efea91
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
2 changed files with 3 additions and 3 deletions

View file

@ -5586,7 +5586,7 @@ fn run_low_level<'a, 'ctx, 'env>(
call_bitcode_fn(env, &[string, index], bitcode::STR_GET_SCALAR_UNSAFE)
}
StrCountUtf8Bytes => {
// Str.countGraphemes : Str -> Nat
// Str.countUtf8Bytes : Str -> Nat
debug_assert_eq!(args.len(), 1);
let string = load_symbol(scope, &args[0]);
@ -5639,7 +5639,7 @@ fn run_low_level<'a, 'ctx, 'env>(
call_str_bitcode_fn(env, &[string], bitcode::STR_TRIM_RIGHT)
}
ListLen => {
// List.len : List * -> Int
// List.len : List * -> Nat
debug_assert_eq!(args.len(), 1);
let arg = load_symbol(scope, &args[0]);

View file

@ -351,7 +351,7 @@ fn bounds_check_comparison<'ctx>(
builder.build_int_compare(IntPredicate::ULT, elem_index, len, "bounds_check")
}
/// List.len : List elem -> Int
/// List.len : List * -> Nat
pub fn list_len<'ctx>(
builder: &Builder<'ctx>,
wrapper_struct: StructValue<'ctx>,