diff options
| author | Alasdair Armstrong | 2018-01-05 17:56:53 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-05 17:56:53 +0000 |
| commit | 9f99b67e3009f0a40a0a14cde3201f2d7839efbd (patch) | |
| tree | 8d80dfa2889e5448c8c1330dd71cb8be1530ceeb /src/initial_check.ml | |
| parent | 90bfc9c8e401e41a2f4616b84976a57f357664df (diff) | |
Moved parser, lexer and pretty printer to correct locations.
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 52ed1da1..4e466596 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -956,11 +956,11 @@ let initial_kind_env = ] let exp_of_string order str = - let exp = Parser2.exp_eof Lexer2.token (Lexing.from_string str) in + let exp = Parser.exp_eof Lexer.token (Lexing.from_string str) in to_ast_exp initial_kind_env order exp let typschm_of_string order str = - let typschm = Parser2.typschm_eof Lexer2.token (Lexing.from_string str) in + let typschm = Parser.typschm_eof Lexer.token (Lexing.from_string str) in let (typschm, _, _) = to_ast_typschm initial_kind_env order typschm in typschm @@ -1098,5 +1098,5 @@ let process_ast order defs = end let ast_of_def_string order str = - let def = Parser2.def_eof Lexer2.token (Lexing.from_string str) in + let def = Parser.def_eof Lexer.token (Lexing.from_string str) in process_ast order (Defs [def]) |
