Project

General

Profile

Revision e7cc5186 src/corelang.mli

View differences:

src/corelang.mli
12 12

  
13 13
open LustreSpec
14 14

  
15
exception Error of Location.t * error
16

  
15
exception Error of Location.t * Error.error_kind
16
module VSet: Set.S
17
  
17 18
val dummy_type_dec: type_dec
18 19
val dummy_clock_dec: clock_dec
19 20

  
......
84 85

  
85 86
val is_eq_expr: expr -> expr -> bool
86 87

  
87
val pp_error :  Format.formatter -> error -> unit
88
(* val pp_error :  Format.formatter -> error -> unit *)
88 89

  
89 90
(* Caution, returns an untyped, unclocked, etc, expression *)
90 91
val is_tuple_expr : expr -> bool
......
144 145
val update_expr_annot: ident -> expr -> expr_annot -> expr
145 146
(* val mkpredef_call: Location.t -> ident -> eexpr list -> eexpr*)
146 147

  
148
val expr_contains_expr: tag -> expr -> bool
147 149
(* Local Variables: *)
148 150
(* compile-command:"make -C .." *)
149 151
(* End: *)

Also available in: Unified diff