Project

General

Profile

Revision e6b644f4 src/corelang.ml

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