diff options
| author | Alasdair Armstrong | 2018-09-04 15:55:03 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-09-04 18:39:10 +0100 |
| commit | b37cf873f5bb23ccee29fc6a0f06374fdf88b058 (patch) | |
| tree | ecec10c63db9eaeff174df8e300ff87de0352312 /src/process_file.mli | |
| parent | cff8eb8a6febc26a2742f5c88b933f5441727b29 (diff) | |
Improve error messages for include and ifdef statements
Diffstat (limited to 'src/process_file.mli')
| -rw-r--r-- | src/process_file.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/process_file.mli b/src/process_file.mli index ded20dd2..8fdf9653 100644 --- a/src/process_file.mli +++ b/src/process_file.mli @@ -48,7 +48,10 @@ (* SUCH DAMAGE. *) (**************************************************************************) -val parse_file : string -> Parse_ast.defs +(** Parse a file. The optional loc argument is the location of the + $include directive that is importing the file, if applicable. *) +val parse_file : ?loc:Parse_ast.l -> string -> Parse_ast.defs + val convert_ast : Ast.order -> Parse_ast.defs -> unit Ast.defs val preprocess_ast : Parse_ast.defs -> Parse_ast.defs val check_ast: Type_check.Env.t -> unit Ast.defs -> Type_check.tannot Ast.defs * Type_check.Env.t |