← Back to branch summary

~npalix/coccinelle/upstream

« back to all changes in this revision

Viewing changes to engine/asttomember.ml

  • Committer: Julia Lawall
  • Date: 2018-10-10 11:40:18 UTC
  • mfrom: (4653.1.32)
  • mto: (4653.3.2) (4666.1.2)
  • mto: This revision was merged to the branch mainline in revision 4660.
  • Revision ID: git-v1:90f6f8f0ef7f8f5ca70a7374643e1d8215513fa8
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/coccinelle/coccinelle

Show diffs side-by-side

added added

removed removed

Lines of Context:
engine/asttomember.ml
14
14
let mcode r (_,_,kind,_) =
15
15
  match kind with
16
16
    Ast.MINUS(_,_,_,_) -> true
17
 
  | Ast.PLUS _ -> failwith "not possible"
 
17
  | Ast.PLUS _ -> failwith "mcode: PLUS not possible"
18
18
  | Ast.CONTEXT(_,info) -> not (info = Ast.NOTHING)
19
19
 
20
20
let no_mcode _ _ = false