Project

General

Profile

Revision ef34b4ae 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