Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 8 months ago

reformatting

View differences:

src/clock_predef.ml
6 6
(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)
7 7
(*  under the terms of the GNU Lesser General Public License        *)
8 8
(*  version 2.1.                                                    *)
9
(*                                                                  *) 
9
(*                                                                  *)
10 10
(*  This file was originally from the Prelude compiler              *)
11
(*                                                                  *) 
11
(*                                                                  *)
12 12
(********************************************************************)
13 13

  
14
(** Predefined operator clocks *)
15 14
open Clocks
15
(** Predefined operator clocks *)
16 16

  
17 17
let ck_tuple cl = new_ck (Ctuple cl) true
18 18

  
19 19
let ck_bin_univ =
20 20
  let univ = new_univar () in
21
  new_ck (Carrow (new_ck (Ctuple [univ;univ]) true, univ)) true
21
  new_ck (Carrow (new_ck (Ctuple [ univ; univ ]) true, univ)) true
22 22

  
23 23
let ck_ite =
24 24
  let univ = new_univar () in
25
  new_ck (Carrow (new_ck (Ctuple [univ;univ;univ]) true, univ)) true
25
  new_ck (Carrow (new_ck (Ctuple [ univ; univ; univ ]) true, univ)) true
26 26

  
27 27
let ck_nullary_univ =
28 28
  let univ = new_univar () in
......
43 43
  new_ck (Carrow (new_ck (Ccarrying (cuniv, univ)) false, univ))
44 44

  
45 45
let ck_carrier id ck =
46
 new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true
46
  new_ck (Ccarrying (new_carrier (Carry_const id) true, ck)) true
47 47
(* Local Variables: *)
48 48
(* compile-command:"make -C .." *)
49 49
(* End: *)

Also available in: Unified diff