This commit is contained in:
Folkert 2022-04-09 11:39:57 +02:00
parent c32f851394
commit a7c87af065
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -1874,7 +1874,7 @@ fn str_from_utf8(symbol: Symbol, var_store: &mut VarStore) -> Def {
ret_var,
)
}
/// Str.romUtf8Range : List U8, { start : Nat, count : Nat } -> Result Str [ BadUtf8 { byteIndex : Nat, problem : Utf8Problem } } ]*
/// Str.fromUtf8Range : List U8, { start : Nat, count : Nat } -> Result Str [ BadUtf8 { byteIndex : Nat, problem : Utf8Problem } } ]*
fn str_from_utf8_range(symbol: Symbol, var_store: &mut VarStore) -> Def {
let bytes_var = var_store.fresh();
let bool_var = var_store.fresh();