Project

General

Profile

Revision 70e1006b src/basic_library.ml

View differences:

src/basic_library.ml
27 27
    (fun env (op, op_type) -> TE.add_value env op op_type)
28 28
    TE.initial
29 29
    [
30
       "+", (static_op type_bin_poly_op);
30
      "true", (static_op type_bool);
31
      "false", (static_op type_bool);
32
      "+", (static_op type_bin_poly_op);
31 33
      "uminus", (static_op type_unary_poly_op); 
32 34
      "-", (static_op type_bin_poly_op); 
33 35
      "*", (static_op type_bin_poly_op);
......
51 53

  
52 54
let clock_env =
53 55
  let init_env = CE.initial in
56
  let env' =
57
    List.fold_right (fun op env -> CE.add_value env op ck_nullary_univ)
58
      ["true"; "false"] init_env in
54 59
  let env' = 
55 60
    List.fold_right (fun op env -> CE.add_value env op ck_unary_univ)
56
      ["uminus"; "not"] init_env in
61
      ["uminus"; "not"] env' in
57 62
  let env' = 
58 63
    List.fold_right (fun op env -> CE.add_value env op ck_bin_univ)
59 64
      ["+"; "-"; "*"; "/"; "mod"; "&&"; "||"; "xor"; "equi"; "impl"; "<"; "<="; ">"; ">="; "!="; "="] env' in
......
63 68

  
64 69
let delay_env =
65 70
  let init_env = DE.initial in
66
  let env' = 
71
  let env' =
72
    List.fold_right (fun op env -> DE.add_value env op delay_nullary_poly_op)
73
      ["true"; "false"] init_env in
74
  let env' =
67 75
    List.fold_right (fun op env -> DE.add_value env op delay_unary_poly_op)
68
      ["uminus"; "not"] init_env in
76
      ["uminus"; "not"] env' in
69 77
  let env' = 
70 78
    List.fold_right (fun op env -> DE.add_value env op delay_binary_poly_op)
71 79
      ["+"; "-"; "*"; "/"; "mod"; "&&"; "||"; "xor"; "equi"; "impl"; "<"; "<="; ">"; ">="; "!="; "="] env' in

Also available in: Unified diff