CristalCaveGem » LustreC

(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)

(*  under the terms of the GNU Lesser General Public License        *)

(*  version 2.1.                                                    *)

(*  This file was originally from the Prelude compiler              *)

(********************************************************************)

(** Base types and predefined operator types. *)

  (* module T = Types.Make (BT) *)

  module BT = T.BasicT

  let type_int = new_ty type_int

  let type_real = new_ty type_real

  let type_bool = new_ty type_bool

  let type_string = new_ty type_string

  let type_clock ty = new_ty (Tclock ty)

  let type_const tname = new_ty (Tconst tname)

  let type_enum taglist = new_ty (Tenum taglist)

  let type_struct fieldlist = new_ty (Tstruct fieldlist)

  let type_tuple tl = new_ty (Ttuple tl)

  let type_arrow ty1 ty2 = new_ty (Tarrow (ty1, ty2))

  let type_array d ty = new_ty (Tarray (d, ty))

  let type_static d ty = new_ty (Tstatic (d, ty))

  let type_unary_poly_op =

    let univ = new_univar () in

    type_arrow univ univ

  let type_bin_bool_op =

  let type_ite_op =

    let univ = new_univar () in

  let type_bin_poly_op =

    let univ = new_univar () in

  let type_bin_comp_op =

    let univ = new_univar () in

  let type_univ_bool_univ =

    let univ = new_univar () in

  let type_bool_univ3 =

    let univ = new_univar () in

  let type_access =

    let d = Dimension.mkdim Location.dummy_loc Dimension.Dunivar in

    let d' = Dimension.mkdim Location.dummy_loc Dimension.Dunivar in

    let univ = new_univar () in

  let type_power =

    let d = Dimension.mkdim Location.dummy_loc Dimension.Dunivar in

    let univ = new_univar () in

end

(* module BaseBuilder = *)

(* struct *)

(*   let type_int_builder = Tbasic Basic.Tint *)

(*   let type_bool_builder = Tbasic Basic.Tbool *)

(*   let type_string_builder = Tbasic Basic.Tstring *)

(* end *)

module Main = Make (Types.Main)

include Main