Project

General

Profile

Revision 04a188ec src/error.ml

View differences:

src/error.ml
1 1
open Format
2 2

  
3

  
3 4
type ident = Lustre_types.ident
4 5
type error_kind =
5 6
    Main_not_found
......
11 12
  | Wrong_number of ident
12 13
  | AlgebraicLoop
13 14
  | LoadError of string
15
exception Error of Location.t * error_kind
14 16

  
15 17
let return_code kind =
16 18
  match kind with
......
63 65
    pp_msg
64 66

  
65 67
let pp_error loc pp_msg =
66
  Format.eprintf "@.%a@.Error: @[<v 0>%t@]@."
68
  Format.eprintf "@.%a@.Error: @[<v 0>%t@]@.@?"
67 69
    Location.pp_loc loc
68 70
    pp_msg
71
    
69 72

  
70 73
    

Also available in: Unified diff