Project

General

Profile

« Previous | Next » 

Revision e6b644f4

Added by Pierre-Loïc Garoche over 4 years ago

better negation of constants

View differences:

src/corelang.ml
1369 1369
             
1370 1370
      | _ -> assert false                     
1371 1371
    )
1372
    | Expr_const _
1373
      | Expr_ident _ -> if neg then
1372
    | Expr_const c -> if neg then map (Expr_const (const_negation c)) else e
1373
    | Expr_ident _ -> 
1374
       if neg then
1374 1375
                         mkpredef_call e.expr_loc "not" [e]
1375 1376
                       else
1376 1377
                         e

Also available in: Unified diff