Revision 45f0f48d
Added by Xavier Thirioux almost 6 years ago
| src/parse.ml | ||
|---|---|---|
| 32 | 32 |
| Undefined_token tok -> fprintf fmt "undefined token '%s'" tok |
| 33 | 33 |
| Unfinished_string -> fprintf fmt "unfinished string" |
| 34 | 34 |
| Unfinished_comment -> fprintf fmt "unfinished comment" |
| 35 |
| Syntax_error -> fprintf fmt "syntax error"
|
|
| 35 |
| Syntax_error -> fprintf fmt "" |
|
| 36 | 36 |
| Unfinished_annot -> fprintf fmt "unfinished annotation" |
| 37 | 37 |
| Unfinished_node_spec -> fprintf fmt "unfinished node specification" |
| 38 | 38 |
| Annot_error s -> fprintf fmt "impossible to parse the following annotation:@.%s@.@?" s |
Also available in: Unified diff
...