From 85cffdfc5228491c856f83319e94de9f9f4e94f4 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Fri, 6 Dec 2019 18:38:40 +0100 Subject: [PATCH] remove comented function --- src/passes/6-transpiler/transpiler.mli | 1 - src/stages/mini_c/misc.ml | 8 -------- 2 files changed, 9 deletions(-) diff --git a/src/passes/6-transpiler/transpiler.mli b/src/passes/6-transpiler/transpiler.mli index c03fdcb28..bebd4aa94 100644 --- a/src/passes/6-transpiler/transpiler.mli +++ b/src/passes/6-transpiler/transpiler.mli @@ -48,7 +48,6 @@ val translate_main : AST.lambda -> Location.t ->( anon_function * ( type_value * (* From an expression [expr], build the expression [fun () -> expr] *) val translate_entry : AST.program -> string -> ( anon_function * ( type_value * type_value )) result -val functionalize : AST.annotated_expression -> AST.lambda * AST.type_value *) val extract_constructor : value -> ( string * AST.type_value ) Append_tree.t' -> (string * value * AST.type_value) result val extract_tuple : value -> AST.type_value Append_tree.t' -> (value * AST.type_value) list result diff --git a/src/stages/mini_c/misc.ml b/src/stages/mini_c/misc.ml index a665fff5f..bd704a745 100644 --- a/src/stages/mini_c/misc.ml +++ b/src/stages/mini_c/misc.ml @@ -120,14 +120,6 @@ module Free_variables = struct end -(* - Converts `expr` in `fun () -> expr`. -let functionalize (body : expression) : expression = - let content = E_closure { binder = Var.fresh () ; body } in - let type_value = t_function t_unit body.type_value in - { content ; type_value } -*) - let get_entry (lst : program) (name : string) : (expression * int) result = let%bind entry_expression = trace_option (Errors.missing_entry_point name) @@