diff options
| author | Alasdair Armstrong | 2017-07-21 18:30:08 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-07-21 18:30:08 +0100 |
| commit | a14c066d0c152584cc8799580c2a5fe401f110d0 (patch) | |
| tree | 4d9fbc1ab0e27a5ce65d003e8a133ce65af3d5c0 /src/pretty_print_lem_ast.ml | |
| parent | 79b81722d8cfe3c2c2fa16bbc8643e8243dfa015 (diff) | |
Everything moved to new typechecker
Modified initial_check.ml so it no longer requires type_internal. It's
still needs cleaned up in a few ways. Most of the things it's trying
to do could be done nicer if we took some time to re-factor it, and
some of the things should just be handled by the main typechecker,
leaving it as a think layer between the parse_ast and the ast.
Now that's done everything can be switched to the new typechecker and
the _new suffixes were deleted from everything except the
monomorphisation pass because I don't know the status of that.
Diffstat (limited to 'src/pretty_print_lem_ast.ml')
| -rw-r--r-- | src/pretty_print_lem_ast.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_lem_ast.ml b/src/pretty_print_lem_ast.ml index 0fb6ed91..6809826a 100644 --- a/src/pretty_print_lem_ast.ml +++ b/src/pretty_print_lem_ast.ml @@ -40,7 +40,7 @@ (* SUCH DAMAGE. *) (**************************************************************************) -open Type_check_new +open Type_check open Ast open Format open Big_int |