diff options
| author | Alasdair Armstrong | 2018-11-20 15:16:55 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-11-20 15:18:38 +0000 |
| commit | 71020c2f460e6031776df17cf8f2f71df5bb9730 (patch) | |
| tree | b4d442a93038de253fa4be14b61596a4936fd0fe /src/reporting.mli | |
| parent | c249747d681cb8e4c15af3d48f9191aa24777b27 (diff) | |
Add messages for assert failures without user defined messages
Also fix some C optimisations
Diffstat (limited to 'src/reporting.mli')
| -rw-r--r-- | src/reporting.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/reporting.mli b/src/reporting.mli index a6878d6a..63ed3eee 100644 --- a/src/reporting.mli +++ b/src/reporting.mli @@ -62,7 +62,8 @@ (** {2 Auxiliary Functions } *) -val loc_to_string : Parse_ast.l -> string +(** [loc_to_string] includes code from file if code optional argument is true (default) *) +val loc_to_string : ?code:bool -> Parse_ast.l -> string (** [print_err fatal print_loc_source l head mes] prints an error / warning message to std-err. It starts with printing location information stored in [l] |