From c8af171880ee11252bf050dc99bd205f3a83e633 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 20 Aug 2024 12:03:09 +0200
Subject: [PATCH] [modules] revert debugging type annots
---
src/kernel_services/ast_queries/logic_typing.ml | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index 22360e6fe5..c9aee7e92c 100644
--- a/src/kernel_services/ast_queries/logic_typing.ml
+++ b/src/kernel_services/ast_queries/logic_typing.ml
@@ -550,14 +550,13 @@ module Extensions = struct
let is_extension name = !ref_is_extension name
- let typer name ~(typing_context:typing_context) ~(loc:location) =
+ let typer name ~typing_context ~loc =
!ref_typer name typing_context loc
- let typer_block name ~(typing_context:typing_context) ~(loc:location) mId =
+ let typer_block name ~typing_context ~loc mId =
!ref_typer_block name typing_context loc mId
- let importer name ~(builder:module_builder) ~(loc:location)
- (moduleId: string list) : unit =
+ let importer name ~builder ~loc (moduleId: string list) : unit =
!ref_importer name builder loc moduleId
end
--
GitLab