Project

General

Profile

Revision ae08b9fc src/corelang.ml

View differences:

src/corelang.ml
1408 1408
    | _ -> assert false (* no array, array access, power or merge/when yet *)
1409 1409
  in
1410 1410
  mkexpr e.expr_loc desc
1411
   
1411

  
1412

  
1413
        
1414
let mk_eq l e1 e2 =
1415
  mkpredef_call l "=" [e1; e2]
1416
      
1412 1417
    (* Local Variables: *)
1413 1418
    (* compile-command:"make -C .." *)
1414 1419
    (* End: *)

Also available in: Unified diff