diff options
| author | Kathy Gray | 2013-08-20 11:03:33 +0100 |
|---|---|---|
| committer | Kathy Gray | 2013-08-20 11:03:46 +0100 |
| commit | 248df6a4cf147bd127e11c489e7f17cf65dfb5cb (patch) | |
| tree | 6641f701024162fc6a0c528abeb1e0f0f2a80683 /src/process_file.ml | |
| parent | 937f6f8d9de1c8bcb8a60320e206d3e7bc973e19 (diff) | |
Set some initial kind environments; start pretty printing
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index d3b5604b..e642baf5 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -70,7 +70,7 @@ let parse_file (f : string) : Parse_ast.defs = raise (Reporting_basic.Fatal_error (Reporting_basic.Err_lex (p, s))) let convert_ast (defs : Parse_ast.defs) : Type_internal.tannot Ast.defs = - Initial_check.to_ast Nameset.empty Envmap.empty Envmap.empty defs + Initial_check.to_ast Nameset.empty Type_internal.initial_kind_env Envmap.empty defs (* type instances = Types.instance list Types.Pfmap.t |