Parcourir la source

make parse_path behave like it did with grandpa extlib

Simon Krajewski il y a 8 ans
Parent
commit
22a08f749a
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      src/syntax/ast.ml

+ 1 - 1
src/syntax/ast.ml

@@ -330,7 +330,7 @@ let rec punion_el el = match el with
 
 let parse_path s =
 	match List.rev (ExtString.String.nsplit s ".") with
-	| [] -> failwith "Invalid empty path"
+	| [] -> [],"" (* This is how old extlib behaved. *)
 	| x :: l -> List.rev l, x
 
 let s_escape ?(hex=true) s =