~ubuntu-branches/ubuntu/maverick/coccinelle/maverick

« back to all changes in this revision

Viewing changes to engine/cocci_vs_c.ml

  • Committer: Bazaar Package Importer
  • Author(s): Daniel T Chen
  • Date: 2009-09-08 13:06:20 UTC
  • mfrom: (7.1.2 sid)
  • Revision ID: james.westby@ubuntu.com-20090908130620-s33aehu14xddef4u
Tags: 0.1.10.deb-1ubuntu1
* Merge from Debian unstable, remaining changes:
  - debian/control: build-depend on python2.6-dev,
    set XB-Python-Version to 2.6

Show diffs side-by-side

added added

removed removed

Lines of Context:
763
763
                      "annotate_typer.ml");
764
764
            fail
765
765
              
766
 
        | Some tas, Some tb -> 
 
766
        | Some tas, Some tb ->
767
767
            tas +> List.fold_left (fun acc ta ->  
768
768
              acc >|+|> compatible_type ta tb) fail
769
769
        ) >>=