Commit ea5c7c82 authored by bguillaum's avatar bguillaum

add syntax for inequality on features

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@8672 7838e531-6607-4d57-9587-6c381814729c
parent 1bfd9bcd
......@@ -451,6 +451,10 @@ pat_edge_or_const:
| feat_id1_loc=feature_ident_with_loc EQUAL feat_id2=feature_ident
{ let (feat_id1,loc)=feat_id1_loc in Pat_const (Ast.Feature_eq (feat_id1, feat_id2), loc) }
(* "X.cat <> Y.cat" *)
| feat_id1_loc=feature_ident_with_loc DISEQUAL feat_id2=feature_ident
{ let (feat_id1,loc)=feat_id1_loc in Pat_const (Ast.Feature_diseq (feat_id1, feat_id2), loc) }
(* "X.position < Y.position" *)
| feat_id1_loc=feature_ident_with_loc LT feat_id2=feature_ident
{ let (feat_id1,loc)=feat_id1_loc in Pat_const (Ast.Feature_ineq (Ast.Lt, feat_id1, feat_id2), loc) }
......
Markdown is supported
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