Project

General

Profile

« Previous | Next » 

Revision e7cc5186

Added by Pierre-Loïc Garoche almost 6 years ago

Refactor error printing.

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