Commit b897b52d authored by bguillaum's avatar bguillaum
Browse files

fix bug 19297

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@8716 7838e531-6607-4d57-9587-6c381814729c
parent 7b2a4a47
......@@ -393,6 +393,10 @@ node_features:
| ["*"] -> ({Ast.kind = Ast.Disequality []; name},loc)
| _ -> ({Ast.kind = Ast.Equality values; name }, loc) }
(* "cat = *" *)
| name_loc=simple_id_with_loc EQUAL STAR
{ let (name,loc) = name_loc in ({Ast.kind = Ast.Disequality []; name},loc) }
(* "cat<>n|v|adj" *)
| name_loc=simple_id_with_loc DISEQUAL values=separated_nonempty_list(PIPE,feature_value)
{ let (name,loc) = name_loc in ( {Ast.kind = Ast.Disequality values; name}, loc) }
......@@ -416,7 +420,7 @@ pat_edge_or_const:
(* "e: A -[^X|Y]-> B" *)
| id_loc=simple_id_with_loc DDOT n1=simple_id labels=delimited(LTR_EDGE_LEFT_NEG,separated_nonempty_list(PIPE,pattern_label_ident),LTR_EDGE_RIGHT) n2=simple_id
{ let (id,loc) = id_loc in Pat_edge ({Ast.edge_id = Some id; src=n1; edge_label_cst=(labels,false); tar=n2}, loc) }
{ let (id,loc) = id_loc in Pat_edge ({Ast.edge_id = Some id; src=n1; edge_label_cst=(labels,true); tar=n2}, loc) }
(* "A -> B" *)
| n1_loc=simple_id_with_loc EDGE n2=simple_id
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment