← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to parsing_c/unparse_hrule.ml

  • Committer: Julia Lawall
  • Date: 2020-02-12 20:20:49 UTC
  • mfrom: (4831.1.13)
  • Revision ID: git-v1:bad1779ec17bb87a7ab35780713752c09092abe2
Merge gitlab.inria.fr:coccinelle/coccinelle

Show diffs side-by-side

added added

removed removed

Lines of Context:
parsing_c/unparse_hrule.ml
371
371
      pr "fresh identifier "; pp_name name; pr " = \""; pr x; pr "\";\n"
372
372
  | Ast.MetaFreshIdDecl(name, Ast.ListSeed x) ->
373
373
      failwith "unparse_hrule: not supported"
 
374
  | Ast.MetaFreshIdDecl(name, Ast.ScriptSeed x) ->
 
375
      failwith "unparse_hrule: not supported"
374
376
  | Ast.MetaTypeDecl(ar, name) ->
375
377
      no_arity ar; pr "type "; pp_name name; pr ";\n"
376
378
  | Ast.MetaInitDecl(ar, name) ->