Project

General

Profile

« Previous | Next » 

Revision 0697ff5b

Added by Pierre-Loïc Garoche about 5 years ago

Produce true/false statements as constants

View differences:

src/tools/seal/seal_extract.ml
785 785 
      in
786 786 
      (* Special cases to avoid useless computations: true, false conditions *)
787 787 
      match elem.expr_desc with
788 
      | Expr_ident "true"  ->   build_switch_sys pos prefix
788 
      (*| Expr_ident "true"  ->   build_switch_sys pos prefix *)
789 789 
      | Expr_const (Const_tag tag) when tag = Corelang.tag_true
790 790 
        ->   build_switch_sys pos prefix
791 
      | Expr_ident "false" ->   build_switch_sys neg prefix
791 
      (*| Expr_ident "false" ->   build_switch_sys neg prefix *)
792 792 
      | Expr_const (Const_tag tag) when tag = Corelang.tag_false
793 793 
        ->   build_switch_sys neg prefix
794 794 
      | _ -> (* Regular case *)

Also available in: Unified diff