This commit is contained in:
satotake 2021-11-18 11:17:05 +00:00 committed by GitHub
parent ce8a88416d
commit 9aabd08953

View File

@ -2227,7 +2227,6 @@ fn list_intersperse(symbol: Symbol, var_store: &mut VarStore) -> Def {
)
}
/// List.split : List elem, Nat -> { before: List elem, others: List elem }
fn list_split(symbol: Symbol, var_store: &mut VarStore) -> Def {
let list_var = var_store.fresh();