From e2c831a23157276caac74611d6d9e4b3433431b5 Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Mon, 7 Oct 2019 09:12:10 -0500
Subject: [PATCH] Simplify more

---
 src/passes/4-typer/typer.ml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/passes/4-typer/typer.ml b/src/passes/4-typer/typer.ml
index 7acbf5138..28258b9fb 100644
--- a/src/passes/4-typer/typer.ml
+++ b/src/passes/4-typer/typer.ml
@@ -615,12 +615,6 @@ and type_expression : environment -> ?tv_opt:O.type_value -> I.expression -> O.a
       let output_type = body.type_annotation in
       return (E_lambda {binder = fst binder ; body}) (t_function input_type output_type ())
     )
-  | E_constant ("NONE", []) ->
-    let%bind tv_opt = bind_map_option get_t_option tv_opt in
-    begin match tv_opt with
-    | None -> fail @@ simple_info "None without a type annotation"
-    | Some tv -> return (E_constant ("NONE", [])) (t_option tv ())
-    end
   | E_constant (name, lst) ->
       let%bind lst' = bind_list @@ List.map (type_expression e) lst in
       let tv_lst = List.map get_type_annotation lst' in