diff options
| author | Alasdair Armstrong | 2017-07-12 15:22:59 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-12 15:22:59 +0100 |
| commit | 901a41770bc59fe38b08fd3f77b83a70aef0aa13 (patch) | |
| tree | ae69fba637fcb57ac02e670eedbd3ada9e93c805 /src/process_file.ml | |
| parent | 1f09cfcd9703b0a10a0c73883dc4718a2d8275e8 (diff) | |
Removed inital_check_full_ast
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 2425a9bb..cecc4f81 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -57,7 +57,7 @@ let get_lexbuf fn = let parse_file (f : string) : Parse_ast.defs = let scanbuf = get_lexbuf f in - let type_names = + let type_names = try Pre_parser.file Pre_lexer.token scanbuf with @@ -85,9 +85,6 @@ let parse_file (f : string) : Parse_ast.defs = let convert_ast (defs : Parse_ast.defs) : (Type_internal.tannot Ast.defs * kind Envmap.t * Ast.order)= Initial_check.to_ast Nameset.empty Type_internal.initial_kind_env (Ast.Ord_aux(Ast.Ord_inc,Parse_ast.Unknown)) defs -let initi_check_ast (defs : Type_internal.tannot Ast.defs) : (Type_internal.tannot Ast.defs * kind Envmap.t * Ast.order)= - Initial_check_full_ast.to_checked_ast Nameset.empty Type_internal.initial_kind_env (Ast.Ord_aux(Ast.Ord_inc,Parse_ast.Unknown)) defs - let opt_new_typecheck = ref false let opt_just_check = ref false let opt_ddump_tc_ast = ref false |