(*
+ * Copyright 2010, INRIA, University of Copenhagen
+ * Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
* This file is part of Coccinelle.
seed^(string_of_int ctr)
let read_fresh_id _ =
- try
+ try
let s = read_line () in
match Parse_c.tokens_of_string s with
[Parser_c.TIdent _; Parser_c.EOF _] -> s
Lib_engine.Match(re) -> (Ast.get_fvs re, Ast.get_fresh re)
| _ -> ([],[])
-let string2val str = Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str))
+let string2val str = Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str,[]))
(* ----------------------------------------------------------------------- *)
(* Get values for fresh variables *)
| Ast.SeedId id ->
try
(match List.assoc id env with
- Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str)) ->
+ Lib_engine.NormalMetaVal(Ast_c.MetaIdVal(str,_)) ->
str
| _ -> failwith "bad id value")
with