Project

General

Profile

« Previous | Next » 

Revision 7ecfca04

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

  • ID 7ecfca04f31650f27ba5dec18a590311f47c15e8
  • Parent 84074455

Merged the master branch into mutation. Mutation of floats has been removed (temporarily)

View differences:

src/corelang.ml
96 96
let mkpredef_call loc funname args =
97 97
  mkexpr loc (Expr_appl (funname, mkexpr loc (Expr_tuple args), None))
98 98

  
99
let mkpredef_unary_call loc funname arg =
100
  mkexpr loc (Expr_appl (funname, arg, None))
101

  
99 102
let is_clock_dec_type cty =
100 103
  match cty with
101 104
  | Tydec_clock _ -> true

Also available in: Unified diff