From 593ffae18cf647457121470c371ba9effbc55f5d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 1 May 2022 16:46:07 +0200
Subject: Move the type-checking functions for pure AST to PureTypeCheck.ml

---
 src/SymbolicToPure.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/SymbolicToPure.ml')

diff --git a/src/SymbolicToPure.ml b/src/SymbolicToPure.ml
index 156d5661..4754d237 100644
--- a/src/SymbolicToPure.ml
+++ b/src/SymbolicToPure.ml
@@ -113,14 +113,14 @@ type bs_ctx = {
 
 let type_check_pattern (ctx : bs_ctx) (v : typed_pattern) : unit =
   let env = VarId.Map.empty in
-  let ctx = { TypeCheck.type_decls = ctx.type_context.type_decls; env } in
-  let _ = TypeCheck.check_typed_pattern ctx v in
+  let ctx = { PureTypeCheck.type_decls = ctx.type_context.type_decls; env } in
+  let _ = PureTypeCheck.check_typed_pattern ctx v in
   ()
 
 let type_check_texpression (ctx : bs_ctx) (e : texpression) : unit =
   let env = VarId.Map.empty in
-  let ctx = { TypeCheck.type_decls = ctx.type_context.type_decls; env } in
-  TypeCheck.check_texpression ctx e
+  let ctx = { PureTypeCheck.type_decls = ctx.type_context.type_decls; env } in
+  PureTypeCheck.check_texpression ctx e
 
 (* TODO: move *)
 let bs_ctx_to_ast_formatter (ctx : bs_ctx) : Print.LlbcAst.ast_formatter =
-- 
cgit v1.2.3