reynir/albatross
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Vmm_core.drop_super / is_sub_id: fix function (used to assume reverse ordered labels)

Browse source
This commit is contained in:
Hannes Mehnert 2018-11-09 01:27:22 +01:00
parent 007210168d
commit 6945d21422
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/vmm_core.ml
View file

@ -47,11 +47,11 @@ let id_of_string str = String.cuts ~sep:"." str
let drop_super ~super ~sub = let drop_super ~super ~sub =
let rec go sup sub = match sup, sub with let rec go sup sub = match sup, sub with
| [], xs -> Some (List.rev xs) | [], xs -> Some xs
| _, [] -> None | _, [] -> None
| x::xs, z::zs -> if String.equal x z then go xs zs else None | x::xs, z::zs -> if String.equal x z then go xs zs else None
in in
go (List.rev super) (List.rev sub) go super sub
let is_sub_id ~super ~sub = let is_sub_id ~super ~sub =
match drop_super ~super ~sub with None -> false | Some _ -> true match drop_super ~super ~sub with None -> false | Some _ -> true