From c7cfce2bf774bba22f397ff0412869ff86c0e477 Mon Sep 17 00:00:00 2001 From: Lesenechal Remi Date: Mon, 9 Sep 2019 22:23:29 +0200 Subject: [PATCH] Remove merge comments --- src/transpiler/transpiler.ml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/transpiler/transpiler.ml b/src/transpiler/transpiler.ml index ff80c19c8..56da73d5e 100644 --- a/src/transpiler/transpiler.ml +++ b/src/transpiler/transpiler.ml @@ -632,10 +632,6 @@ let check_storage f ty loc : (anon_function * _) result = if aux storage false then ok (f, ty) else fail @@ bad_big_map loc | _ -> ok (f, ty) -(* let translate_main (l:AST.lambda) loc : anon_function result = - let%bind expr = translate_lambda Environment.empty l in - match Combinators.Expression.get_content expr with - | E_literal (D_function f) -> check_storage f loc *) let translate_main (l:AST.lambda) loc : (anon_function * _) result = let%bind expr = translate_lambda Environment.empty l in match expr.content , expr.type_value with