Project

General

Profile

Revision 9ae027f8 src/parse.ml

View differences:

src/parse.ml
18 18
  | Unfinished_string
19 19
  | Unfinished_comment
20 20
  | Syntax_error
21
  | String_Syntax_error of string
21 22
  | Unfinished_annot
22 23
  | Unfinished_node_spec 
23 24
  | Annot_error of string
......
32 33
  | Undefined_token tok   -> fprintf fmt "undefined token '%s'" tok
33 34
  | Unfinished_string        -> fprintf fmt "unfinished string"
34 35
  | Unfinished_comment  -> fprintf fmt "unfinished comment"
35
  | Syntax_error               -> fprintf fmt ""
36
  | Syntax_error               -> fprintf fmt "syntax error"
37
  | String_Syntax_error s              -> fprintf fmt "syntax error in %s" s
36 38
  | Unfinished_annot        -> fprintf fmt "unfinished annotation"
37 39
  | Unfinished_node_spec -> fprintf fmt "unfinished node specification"
38 40
  | Annot_error s              -> fprintf fmt "impossible to parse the following annotation:@.%s@.@?" s

Also available in: Unified diff