equal
deleted
inserted
replaced
52 case (Parent, Basic(_) :: rest) => rest |
52 case (Parent, Basic(_) :: rest) => rest |
53 case _ => y :: xs |
53 case _ => y :: xs |
54 } |
54 } |
55 |
55 |
56 private def norm_elems(elems: List[Elem]): List[Elem] = |
56 private def norm_elems(elems: List[Elem]): List[Elem] = |
57 elems.foldRight(Nil: List[Elem])(apply_elem) |
57 elems.foldRight(List.empty[Elem])(apply_elem) |
58 |
58 |
59 private def implode_elem(elem: Elem, short: Boolean): String = |
59 private def implode_elem(elem: Elem, short: Boolean): String = |
60 elem match { |
60 elem match { |
61 case Root("") => "" |
61 case Root("") => "" |
62 case Root(s) => "//" + s |
62 case Root(s) => "//" + s |