summaryrefslogtreecommitdiff
path: root/src/initial_check.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-01-05 17:56:53 +0000
committerAlasdair Armstrong2018-01-05 17:56:53 +0000
commit9f99b67e3009f0a40a0a14cde3201f2d7839efbd (patch)
tree8d80dfa2889e5448c8c1330dd71cb8be1530ceeb /src/initial_check.ml
parent90bfc9c8e401e41a2f4616b84976a57f357664df (diff)
Moved parser, lexer and pretty printer to correct locations.
Diffstat (limited to 'src/initial_check.ml')
-rw-r--r--src/initial_check.ml6
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])