Project

General

Profile

Revision 3769b712 src/backends/C/c_backend_mauve.ml

View differences:

src/backends/C/c_backend_mauve.ml
1
open Lustre_types
2
open Machine_code_types
3
open Corelang
1
open Lustrec
2
open Lustrec.Lustre_types
3
open Lustrec.Machine_code_types
4
open Lustrec.Corelang
4 5
open Machine_code
5 6
open Format
6 7
open C_backend_common
7
open Utils
8
open Printers
8
open Lustrec.Utils
9
open Lustrec.Printers
9 10

  
10 11
(* module type MODIFIERS_MAINSRC =
11 12
sig
......
44 45
let mauve_default_value v =
45 46
  (* let v_name = v.var_id in *)
46 47

  
47
  if Types.is_bool_type v.var_type then "false"
48
  else if Types.is_int_type v.var_type then "0"
49
  else if Types.is_real_type v.var_type then "0.0"
48
  if Lustrec.Types.is_bool_type v.var_type then "false"
49
  else if Lustrec.Types.is_int_type v.var_type then "0"
50
  else if Lustrec.Types.is_real_type v.var_type then "0.0"
50 51
  else assert false
51 52

  
52 53
let print_mauve_default fmt mauve_machine v = 

Also available in: Unified diff