Project

General

Profile

« Previous | Next » 

Revision e7cc5186

Added by Pierre-Loïc Garoche about 7 years ago

Refactor error printing.

View differences:

src/lustreSpec.ml
251 251 
  | MComment of string
252 252 

  		




  253
  253
  
    

  		




  254
  
  
    
type error =


  		




  255
  
  
    
    Main_not_found


  		




  256
  
  
    
  | Main_wrong_kind


  		




  257
  
  
    
  | No_main_specified


  		




  258
  
  
    
  | Unbound_symbol of ident


  		




  259
  
  
    
  | Already_bound_symbol of ident


  		




  260
  
  
    
  | Unknown_library of ident


  		




  261
  
  
    
  | Wrong_number of ident


  		




  262
  
  
    

  		




  263
  254
  
    
(* Local Variables: *)


  		




  264
  255
  
    
(* compile-command:"make -C .." *)


  		




  265
  256
  
    
(* End: *)


  		












Also available in:  Unified diff