From 098ac444e731d7674d8910264ae58fb876618a5a Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 24 Nov 2017 13:46:00 +0100
Subject: Move function in their own modules

---
 src/evaluator.mli | 64 +------------------------------------------------------
 1 file changed, 1 insertion(+), 63 deletions(-)

(limited to 'src/evaluator.mli')

diff --git a/src/evaluator.mli b/src/evaluator.mli
index b296b90..e338b8d 100755
--- a/src/evaluator.mli
+++ b/src/evaluator.mli
@@ -1,66 +1,4 @@
-type t
-
 val eval: (ScTypes.refs -> ScTypes.result option ScTypes.Refs.range) -> ScTypes.expression -> ScTypes.result
 
-val repr: Format.formatter -> t -> unit
-
-val get_catalog: unit -> t
-
-(** Type definitions *)
-
-type 'a typ 
-val t_bool: DataType.Bool.t typ
-val t_int:  DataType.Num.t  typ
-val t_string: UTF8.t typ
-val t_list: 'a typ -> 'a list typ
-
-(** Result formats *)
-
-type 'a returnType
-
-(** Numeric (any format) *)
-val f_num: DataType.Num.t returnType
-
-(** Date *)
-val f_date: DataType.Num.t returnType
-
-(** Number *)
-val f_number: DataType.Num.t returnType
-
-(** Boolean result *)
-val f_bool: DataType.Bool.t returnType
-
-(** String *)
-val f_string: DataType.String.t returnType
-
-(** Catalog *)
-
-val register0: 
-  string ->           (* The function name *)
-  'a returnType ->        (* The return type *)
-  (unit -> 'a)        (* The function to call *)
-  -> unit
-
-val register1: 
-  string ->           (* The function name *)
-  'a typ ->           (* The signature *)
-  'b returnType ->        (* The return type *)
-  ('a -> 'b)          (* The function to call *)
-  -> unit
-
-val register2: 
-  string ->           (* The function name *)
-  ('a typ * 'b typ) ->(* The signature *)
-  'c returnType ->        (* The return type *)
-  ( 'a -> 'b -> 'c)   (* The function to call*)
-  -> unit
-
-val register3: 
-  string ->           (* The function name *)
-  ('a typ * 'b typ * 'c typ) ->(* The signature *)
-  'd returnType ->           (* The return type *)
-  ( 'a -> 'b -> 'c -> 'd)   (* The function to call*)
-  -> unit
+val set_catalog: Functions.C.t -> unit
 
-(** [wrap f] run [f] inside a context where there is no functions *)
-val wrap: (unit -> 'a) -> 'a
-- 
cgit v1.2.3