diff options
| author | Alasdair | 2020-05-12 15:41:23 +0100 |
|---|---|---|
| committer | Alasdair | 2020-05-12 15:41:23 +0100 |
| commit | 81516c8ad7c30adb3d52741ad6a7c68d4436ec35 (patch) | |
| tree | 9a9a56c495f2c9dba4e8613118f40c3f8bc2b33b /src/reporting.mli | |
| parent | 199e10df8e776e4b27f9cfd2357db6babf674ed1 (diff) | |
Support for user-defined state and headers in new codegen
All the code-generator options can now be controlled via a json
configuration file
Extra fields can be added to the sail_state struct using a
codegen.extra_state key in the configuration json for the code
generator
If primitives want to modify the state they can be specified via
codegen.state_primops
To import such state, codegen.extra_headers can be used to add
user-defined headers to the generated .h file
Diffstat (limited to 'src/reporting.mli')
| -rw-r--r-- | src/reporting.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/reporting.mli b/src/reporting.mli index e0744c66..54875398 100644 --- a/src/reporting.mli +++ b/src/reporting.mli @@ -116,6 +116,9 @@ val print_error : error -> unit location, the second after. *) val warn : string -> Parse_ast.l -> string -> unit +(** Print a simple one-line warning without a location. *) +val simple_warn: string -> unit + (** Will suppress all warnings for a given file. Used by $suppress_warnings directive in process_file.ml *) val suppress_warnings_for_file : string -> unit |