Version 1.0.0-rc17 has been released. Some changes are:
[bpt/coccinelle.git] / parsing_cocci / ast0_cocci.ml
index e94b4b5..749dfa5 100644 (file)
@@ -288,6 +288,7 @@ and base_parameterTypeDef =
   | Param         of typeC * ident option
   | MetaParam     of Ast.meta_name mcode * pure
   | MetaParamList of Ast.meta_name mcode * listlen * pure
+  | AsParam       of parameterTypeDef * expression (* expr, always metavar *)
   | PComma        of string mcode
   | Pdots         of string mcode (* ... *)
   | Pcircles      of string mcode (* ooo *)
@@ -598,6 +599,7 @@ let rec meta_pos_name = function
   | ExprTag(e) ->
       (match unwrap e with
        MetaExpr(name,constraints,ty,form,pure) -> name
+      | MetaExprList(name,len,pure) -> name
       | _ -> failwith "bad metavariable")
   | TypeCTag(t) ->
       (match unwrap t with